logikk og LK
Lagt inn: 02/11-2015 09:48
Sitter fast her:
Use LK (or another calculus of your choice) to prove or find counter models to the following formulas
i) (P →Q)→(Q→P)
ii) ii) P → (Q → P)
iii) ((P ∧Q)→R)→(P →(Q→R))
noen ideer?
Use LK (or another calculus of your choice) to prove or find counter models to the following formulas
i) (P →Q)→(Q→P)
ii) ii) P → (Q → P)
iii) ((P ∧Q)→R)→(P →(Q→R))
noen ideer?