Garvida , Philip Victor G.

2 Yr .BA Development Studies

201046927

M a am Sioco

1 ( G H ) ( I J )

nd

'

6 L

2K v( L M)

7 L K

3 ( G H ) v K

5,3 DS
6,3 Conj

4 N ( L M )
5 (I J )

2.

5.

1 [ ( A v B ) v C ] [ D ( E F ) ]
2 ( A v B ) [ ( F G ) H ]

6 ( G H )

1,5 MT

7 K

3,6 DS

3 A [( E F ) ( F G ) ]

8 ( L M )

2,7 DS

4A

9 N

4, 8 MT

5 ( E F ) ( F G )

1 I J
2 I v ( K J )
3 L K
L v J

4 ( I J )
5I ( I J )

1||

6 I

5,4 MT

7 K J

2, 6 DS

8 K

7 Simp

9 L

3,8 MT

10 L v J

6.

6 A v B

4 Add

7 ( F G ) H

2,6 MP

8 ( E F ) H

5,7 HS

9( A v B ) vC

6 Add

10 D ( E F )

1,9 MP

11 D H

10,8 HS

1 F G

3 ( I v H ) G

5 I v H

2 (N O) P
N
1||

5N P

4,2 HS

6 N (N P)

5||

7 N

6,3 MT

1J K

2 J v ( K v L)

4 I

9 Add

4 N ( N O )

3,4 MT

2 F ( H G )

1N O

3 (N P)

D H

7.

4 Add

6 G

3,5 MP

7 F

1,6 MT

8 H G

2,7 MP

9 H

8,6 MT

1W X

2 (W Y ) ( Z v X )
3 ( W X ) Y
4 Z

5 W (W X )

1||

3 K

L K

6W Y

5,3 HS

4 J

1,3 MT

7Z v X

2,6 MP

5 K v L

2,4 DS

8X

7,4 DS

1Q R

11.

2 S ( T U )

1 ( X v Y ) [ A ( P Q ) ]
2 ( X R ) [ ( P Q ) Z ]

3 S v (Q v T )
4 S

R vU

3 ( X R ) ( Z v A ) / A Z

5 ( T U )

2,4 MP

4 X R

3 Simp

5 (P Q) Z

2,4 MP

6 X

4 Simp

6 ( Q R ) ( T U )

1,5 Conj

7Q vT

3,4 DS

8 Rv U

6,7 CD

7 X v Y

1M N

6 Add 8 A ( P Q )

1,7 MP

9 A Z

8,5 HS

2N O

3 ( M O) (N P)

12.

1( A B ) [ A ( D E ) ]
2 ( A B ) C

Dv E

3,4 HS

3 A B

2 Simp

6 M 0

1,2 HS

4 A ( D E )

1,3 MP

7Q

5,6 MP

5A

3 Simp

6 D E

4,5 MP

7D

6 Simp

8 Dv E

7 Add

4 (N P) Q

5 ( M 0) Q

1 ( O P ) (Q R)
2 ( S T ) ( U V )
3 ( P S) ( R U )

13.

4 (T v V ) ( W X )

1 F v (G v H )
2 (G I ) ( H J )

5O vQ

6 Pv R

1,5 CD

3 (I v J ) (F v H )

7 S v U

3,6 CD

4 F

8 T v V

2,7 CD

5Gv H

1,4 DS

9W X

4,8 MP

6IvJ

2,5 CD

7 Fv H

3,6 MP

8H

7,4 DS

WX