Logika - 2016./17. ljeto - 13.
U sljedećemu dokazu provedenom naravnom (prirodnom) dedukcijom odredite sudove kojinedostaju u redcima u kojima su upisane tri točkice (...), a koji dokaz u cjelini čine točnim.
Pravilo DS stoji za disjunktivni silogizam.
13.1. U drugome retku treba pisati
13.2. U četvrtome retku treba pisati
13.3. U šestome retku treba pisat