1. 2. Odredi jesu li navedene tvrdnje istinite i objasni odgovor!

i. Ako je iskaz valjan, onda je i zadovoljiv. Da, jer ako je istinit u svakom retku, onda je i u nekom.
ii. Ako je iskaz zadovoljiv, onda nije nevaljan. Tvrdi se da ako je zadovoljiv, onda je valjan, a to ne stoji.
Vidi pod c).
iii. Ako je iskaz zadovoljiv, onda je valjan. Ne, jer ako je istinit u nekom retku, ne znači da je u svakom.
iv. Ako je iskaz zadovoljiv, onda nije kontradikcija. Da, jer je istinit u barem jednom retku, a kontradikcija
nije ni u jednom.
v. Ako su X i Y međusobno proturječni iskazi, onda je njihov skup zadovoljiv. Ne, jer uvijek imaju
različitu vrijednost, stoga ne mogu nikada oba biti istinita. Njihova je konjunkcija nezadovoljiva.
vi. Ako su X i Y međusobno kontradiktorni iskazi, onda su X i ØY međusobno ekvivalentni iskazi. Da, jer
X i Y imaju u svakom retku različitu vrijednost, stoga ako jedan zaniječemo, imat će međusobno istu
vrijednost.
vii. Ako je iskaz X zadovoljiv, onda je ØX nezadovoljiv. Ne, npr. ako je X istinit u samo jednom retku,
onda će u ostalim recima X biti istinit; npr. A je zadovoljiv, ali je i A zadovoljiv.
viii. Ako je iskaz X tautologija, onda je ØX nevaljan. Da, jer je X nezadovoljiv, a nezadovoljiv iskaz nije
valjan.
ix. Ako je iskaz X logički istinit, onda je ØX kontradikcija. Da, jer je logički istinit uvijek istinit, pa je
njegova negacija uvijek neistinita, to jest kontradikcija.
x. Ako su X i Y međusobno ekvivalentni, onda su X i ØY međusobno kontradiktorni. Da …
xi. Ako je barem jedna premisa zaključka kontradikcija, onda je zaključak valjan. Da, jer se nikada ne
može dogoditi da sve premise budu istinite a to je nužno za nevaljani zaključak.
xii. Ako su barem dvije premise zaključka međusobno kontradiktorne, onda je zaključak valjan. Da, vidi
pod xi).
xiii. Ako je barem jedna premisa zaključka tautologija, zaključak je valjan. Ne, npr. P  P, dakle P je
nevaljan zaključak
xiv. Ako je konkluzija zaključka kontradikcija, zaključak je nevaljan. Ne, jer može biti da premise čine
nezadovoljiv skup, a time nema retka u kojem su istinite sve premise.
xv. Ako je konkluzija zaključka tautologija, zaključak je valjan. Da, jer onda konkluzija nikada nije
neistinita.
xvi. Ako je konkluzija zaključka ekvivalentna barem jednoj premisi, zaključak je valjan. Da, jer nikada kada
je konkluzija neistinita ne mogu sve premise biti istinite. Naime bit će neistinita ona premise koja je
ekvivalentna konkluziji.
xvii. Tautologija slijedi iz bilo čega (Verum ex quolibet). Da, vidi pod xii).
xviii. Iz kontradikcije slijedi bilo što (Ex falso quodlibet). Da, vidi pod xi).
xix. Ako su X i Y međusobno ekvivalentni, onda X slijedi iz Y i Y slijedi iz X. Da ….
xx. Ako je zaključak valjan, onda je pogodba čiji prednjak čini konjunkcija premisa, a posljedak konkluzja
zaključka, valjan iskaz. Da …
xxi. Ako su X i Y međusobno ekvivalentni, onda je njihova dvopogodba valjan iskaz. Da …
xxii. Ako X i Y čine zadovoljiv skup iskaza, onda je i njihova konjunkcija zadovoljiv iskaz. Da …
xxiii. Iz potvrde antecedenta slijedi potvrda konzekventa. Da …
xxiv. Iz potvrde konzekventa slijedi potvrda antecedenta. Ne …
xxv. Iz nijeka antecedenta slijedi nijek konsekventa. Ne …
xxvi. Iz nijeka konzekventa slijedi nijek antecedenta. Da …
xxvii. Iz negacije jednog od dvaju disjunkata slijedi potvrda (afirmacija) drugog. Da …
xxviii. Iz afirmacije jednog od dvaju disjunkata slijedi negacija drugoga. Ne …