Logika - 2014./15. jesen - 13.
U sljedećemu dokazu provedenom naravnom (prirodnom) dedukcijom odredite sudove (iskaze) koji trebaju stajati u dijelovima koji su označeni trima točkicama (...), a koji se mogu izvesti iz napisanih pravila u istome koraku te koji dokaz u cjelini čine točnim.
13.1. U drugome retku treba pisati .
13.2. U trećemu retku treba pisati .
13.3. U četvrtome retku treba pisati .