Nama Anggota Kelompok :

1. Clarita nova wardayanti (19533126)

2. Khairul istiyani (19533117)
 B
C
3
~A
~BVC

~B
C
(TTP)

~C
D
(TTP)

D ~A

TIDAK KONSISTEN ~D
~D
ARGUMEN VALID A
(TTP)
(TTP)
 TIDAK KONSISTEN
ARGUMEN VALID

5
A→B

A B

~A
B ~A B
(TTP)

~B ~B ~B
C C C
(TTP) (TTP ) (TTP)

~D C ~D C ~D C

A A A A A A
~C ~C ~C ~C ~C ~C
(TTP ) (TTP) (TTP) (TTP ) (TTP ) (TTP)
 7 E  ( F ˄ ~ G)

~E ( F ˄ ~ G)

F
~(FvG) H
~G

~F
E ~(FvG) H
~G

E ~H ~F
~G E
(TTP) (TTP) (TTP)

~H
E
(TTP)

KONSISTEN ~H
ARGUMEN TIDAK VALID
KONSISTEN ARGUMEN
TIDAK VALID
 B

13 H

~E D

~D
~ (G V H) ~D ~ (GVH)
(TTP)

~G ~G
H ~ (B C) DVE ~H
(TTP) (TTP)

B D E
~C (TTP) (TTP)

~ (D V E V F) GVH

D
E
G H
F
(TTP)

KONSISTEN
ARGUMEN TIDAK VALID
KONSISTEN ARGUMEN
TIDAK VALID