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?
logikk og LK
Moderatorer: Vektormannen, espen180, Aleks855, Solar Plexsus, Gustav, Nebuchadnezzar, Janhaa