logika- prirodna dedukcija

[anatomik]

evo u attachmentu dokaz iz prirodne dedukcije koji mi nije jasan, kao ni metoda generalno:

nije mi jasno odakle zaključak ne, ne Q, može se jedino zaključiti ne ne Q ili ne P, pa da se grana.

[Phoenix]

Pretpostavka 3 bi trebala glasiti [tex]\neg Q[/tex], a ne [tex]Q[/tex]. S tom korekcijom dokaz je u redu.

_________________
Mario Stipčić