1.

G → R
Ꞁ( R ᴧ S)
SvM
M→ꞀR
ꞀG
 * * * *
G→R Ꞁ( R ᴧ S) SvM M→ꞀR ꞀG
i i i i inn ni n n i n n
-------
ILI
 * * * *
G→R Ꞁ( R ᴧ S) SvM M→ꞀR ꞀG
i i i i ini i i n n i n n
------
ILI
 * * * *
G→R Ꞁ( R ᴧ S) SvM M→ꞀR ꞀG
i i i i in n ni i i i n n
----------

Zaključak je valjan.
*
2. (( P → Q ) ᴧ ( Q → ꞀP )) → ꞀP
i i i i i i n n n
--------
ILI
*
(( P → Q ) ᴧ ( Q → ꞀP )) → ꞀP
i i n i n i n n n
--------

1 Ꞁ[(( P → Q ) ᴧ ( Q → ꞀP )) → ꞀP] Ѵ
2 (( P → Q ) ᴧ ( Q → ꞀP )) Ѵ 1
3 ꞀꞀP Ѵ 1
4 P 3
5 P→Q Ѵ 2
6 Q → ꞀP Ѵ 2
/\
7 ꞀP Q 5
X I
I
/\
8 ꞀQ ꞀP 6
X X

Sud je valjan.
 *
3. a) P Q Ꞁ( Q ᴧ P ) ᴧ Ꞁ ( Q → Q )
i i n i n n i
i n i n n n i
n i i n n n i
n n i n n n i Sud je nezadovoljiv.

*
b) P S (( P v ( S → P)) v (P ᴧ S)
i i i i i i
i n i i i n
n i n n n n
n n i i i n Sud je zadovoljiv.

4. 1 ꞀS → (( ꞀP ᴧ ꞀQ ) ᴧ ꞀR) Ѵ
/ \
2 ꞀꞀS Ѵ ( ꞀP ᴧ ꞀQ ) ᴧ ꞀR Ѵ 1
3 S I 2
° I
4 ꞀP ᴧ ꞀQ Ѵ 2
5 ꞀR 2
6 ꞀP 4
7 ꞀQ 4
°
Sud je zadovoljiv.

5. 1 PᴧQ Ѵ
2 Ꞁ( P ᴧ ꞀQ) Ѵ
3 Ꞁ ( P→ Q) Ѵ Ꞁ
4 P 1
5 Q 1
6 P 3
7 ꞀQ 3
/ \
8 ꞀP ꞀꞀQ 2
9 X Q 8
X

Zaključak je valjan.

6. (PᴧQ)→R P→(Q→R)
I I I I N I N I N N
- - -
I I I N N I I I I N
----------
1 (PᴧQ)→R Ѵ 1 Ꞁ( ( P ᴧ Q ) → R ) Ѵ Ꞁ
2 Ꞁ( P → ( Q → R )) Ѵ Ꞁ 2 P→(Q→R) Ѵ

3 P 2 3 PᴧQ Ѵ 1

4 Ꞁ( Q → R ) Ѵ 2 4 ꞀR 1

5 Q 4 5 P 3

6 ꞀR 4 6 Q 3

/ \ / \

7 Ꞁ (P ᴧ Q)Ѵ R 1 7 ꞀP Q→RѴ 2

X X / \

/ \ 8 ꞀQ R 7

8 ꞀP ꞀQ 7 X X

X X

Sudovi su istovrijedni.

7 a) singularni (pojedinačni)
b) afirmativni (potvrdni)
c) problematični

8 a) hipotetični (pogodbeni)
b) disjunktivni (rastavni)
c) kategorični

9. Nijedna mrkva nije okrugla.

10. a) Nijedan ... nije

b) Svi ... su
c) Svi ... su
d) Neki ... su
e) Neki ... su
f) Neki

11. Ako države nisu monarhije, onda su republike.