Logika - 2012./13. ljeto - 13.
U sljedećemu dokazu provedenom naravnom (prirodnom) dedukcijom odredite što treba pisati u dijelovima koji su označeni trima točkicama (...).
U njemu su izostavljeni sudovi, no s njihove desne strane napisani su redci i pravila na temelju kojih su izvedeni. Kratica MT označava Modus tollens, a DS Disjunktivni silogizam.
13.1. U četvrtome retku treba pisati .
13.2. U petome retku treba pisati .
13.3. U šestome retku treba pisati .