Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
I.
For each of the following elementary valid
argument, state the rule of inference follows from
its premiss or premises.
1. ( A B ) C
( A B ) [( A B) C]
2. (D v E) (F v G)
D v E
3. H I
9.
(F G) ~(G~F)
~ (G~F) (GF)
(F G) (GF)
10. ~(H~I) (HI)
(I H) ~(H~I)
(I H) (HI)
11. (AB) (CvD)
AB
C v D
(H I) v (H~I)
4. ~(J K) (L ~M)
12. [E(F~G)] v (C v D)
~ (J K)
5. [N (O P)] [ Q (O R)]
NvQ
CvD
13. (C v D) [(J v K) (J K)]
~ [(J v K) (J K)]
(O P) v (O R)
6. (X v T) ~(Z ~A)
~~ (Z ~A)
~ (X v Y)
7.
(S T) v [(UV) v (U W)]
~(S T)
(U V) v (U W)
8. ~(B C) (D v E)
~(B C)
DvE
~ [E (F~G)]
CvD
14. ~[L (M N)] ~(C v D)
~ [L (M N)]
~(C v D)
15. (J K) (K L)
LM
[(J K) (K L)] (L M)
16. N (O v P)
Q (O v R)
[Q (O v R)] [N (O v P)]
17. (S T) (U V)
(S T) [(S T) (U V)
18. (~W X) (Y Z)
[(~W X) (Y Z)] v (X ~Z)
19. [(H ~I) C] [(I ~H) D]
[(H ~I) v (I ~H)]
CvD
20. [(O P) Q] ~(C v D)
(C v D) [(O P) Q]
(C v D) ~(C v D)
II.
6. H
3. 1. I J
2. J K
3. L M
4. I v L
KvM
5. I K
6. (I K) (L M)
7. K v M
4. 1. N O
2. (N O) P
3. ~ (N P)
~N
4. N (NO)
5. N P
6. N (NP)
7. ~N
5. 1. Q R
2. ~S (T U)
3. S v (Q v T)
4. ~S
RvU
5. T U
6. (Q R) (T U)
7. Q v U
8. R v U
6. 1. W X
2. (W Y) (Z X)
3. (W X) Y
4. ~Z
X
5. W (W X)
6. W Y
7. Z v X
8. X
7. 1. (A v B) C
2. (C v B) [A (D E)]
3. A D
DE
4. A
5. A v B
6. C
7. C v B
8. A (D E)
9. D E
8. 1. F ~G
2. ~F (H ~G)
3. (~I v ~H) ~~G
4. ~I
~H
5. ~I v ~H
6. ~~G
7. ~F
8. H ~G
9. ~H
9. 1. I J
2. I v (~~K ~~J)
3. L ~K
4. ~ (I J)
~L v ~J
5. I (I J)
6. ~I
7. ~~K ~~J
8. ~~K
9. ~L
10. ~L v ~J
10. 1. (L M) (N O)
2. (P ~Q) (M ~Q)
3. {[(P ~Q) v (R S)] (N v O)} [(R
S) (L M)]
4. (P ~Q) v (R S)
5. N v O
(M ~Q) v (N O)
6. [(P ~Q) v (R S) (N v O)
7. (R S) (L M)
8. (R S) (N O)
9. [(P ~Q) (M ~Q)] [(R S) (N
O)]
10. (M ~Q) v (N O)
2. ~V
III.
WvX
9. 1. Y Z
2. Y
YZ
10. 1. A B
2. (A B) C
AC
11. D E
(E F) (F D)
DF
12. (G H) (I J)
G
HvJ
13. ~(K L)
K
~K
14. (M N) (M O)
NO
MO
15. (P Q) (R S)
(P v R) (Q v R)
QvS
16. (T U) (T V)
T
UvV
17. (W v X) Y
W
~ (W X)
26. A B
AvC
CD
Y
18. (Z A) (B C)
ZA
BvD
27. (E F) v (G H)
IG
~ (E F)
Z (B C)
19. D E
[D (D E)] (F ~G)
F ~G
20. (~H v I) v J
~ (~H v I)
I H
28. J v ~K
K v (L J)
~J
J v ~H
21. (K L) M
~M ~ (LK)
LJ
29. (M N) (O P)
NP
(N P) (M v O)
~ (KL)
22. (N O) (P Q)
[P (N O)] [N (P Q)]
NvP
30. Q (R v S)
(T U) R
(R v S) (T U)
P (P Q)
23. R S
S (S R)
[R (R S)] [S (S R)]
24. [T (U v V)] [U (T v V)]
(T v U) (U v V)
(U v V) v (T v V)
25. (W X) (Y Z)
~ [(W X) (Y Z)]
QR
IV.
1. A v (B A)
~A C
~B
2. (D v E) (F G)
D
F
3. (H I) (H J)
H (I v J)
IvJ
4. (K L) M
KL
K [(K L) M]
5. N [(N O) P]
NO
P
6. Q R
RS
~S
~Q ~R
7. T U
V v ~U
~V ~W
~T
8. ~X Y
ZX
~X
Y ~Z
9. (A v B) ~C
CvD
V.
A
D
10. E v ~F
F v (E v G)
~E
G
11. (H I) (J K)
KvH
~K
I
12. L v (M N)
~L (N O)
~L
MO
13. (P Q) (Q P)
RS
PvR
QvS
14. (T U) (V W)
(U X) (W Y)
T
XvY
15. (Z A) B
BA
(B A) (A P)
(Z A) (A B)
Construct a formal proof of validity for each of the
following arguments.
1. A B
A v (C D)
~B ~E
C
2. (F G) (H I)
JK
(F v J) (H v L)
GvK
3. (~M ~N) (O N)
NM
~M
~O
4. (K v L) (M v N)
(M v N) (O P)
K
O
5. (Q R) (S T)
(U V) (W X)
QvU
RvU
6. W X
(W X) Y
(W Y) Z
WZ
7. A B
CD
AvC
(A B) v (C D)
8. (E v F) (G H)
(G v H) I
E
I
9. J K
KvL
(L ~J) (M ~J)
~K
M
10. (N v O) P
(P v Q) R
QvN
~Q
R
Symbols