. .$ % & : ! ( ) !

:I

& 4 5) . / 01 23 () * ! % + ,+ ) $ + - !
)1 / ) * ! & . .9 6 &+ 8 * !) -3 0 6 )1 ) 7 )- ) * !
/ . < =*& .8 6: ; !! & % ) -
.& + * ; !

" 5 < 2 " )- &. . & + 2* " 3 < 5 " > (? 6 1 &. . ! - &+ 2 :
.&@ 6 & + 2*

% + D .& ! + ) B C ) & - &!- + : : 6A

5F 61 1 ) &@ 6 E & 1 ) &. . + =*) - . & ! !( E
&! &. . - 1 ) &. . "x>0" &+ x Z G. E 1) >
.& 1 &! &. . - 1 ) &@ 6

&@ 6 &@ 6 p &. . ) - " ¬ p " H! < C & + 2* " p " & + 2 :
.&. . p

&+ * p 2 ¬p G! "x>0" &+ 2* p + I .x Z 1) :

." x 0 "

:& . 8 K 2 23 ,+ * J 6 )-

p ¬p
1 0
0 1

. <@ 6 0 & + &. 1C )1

.< p &+ 2* (& + 2 2 ) ¬(¬p ) & + )1 ( ) (4.:

p - I 3 I &. . 2* p q H! < C &+ *q p) + :

.&@ 6 % < . - I &@ 6 ) . . q

3
. .$ % & : ! ( ) ! :I

.() + 1) ) 0 <1 ) + ) @ 6) + )- I

.) 0 " x<3" " x 5" ) + x IR 2 . E 1) :

.; 1! % &@ 6 p (¬p ) & + )1 ! (p & + K1 1)

- I 3 I &. . 2* p q H! < C &+ *q p) + 3:

q p) - K1) F 6 : . 23 &@ 6 (&. . q 1 p % ) + F .I
.( ) @ 6

)- 1 x {5,6,7,…} &. . "x 0 x 5" &+ (x G . E 1) :

.x {1,2,3,4} 3 &@ 6 ) - x {0, 1, 2, …}

.q p) + )- :
.(q C p1 ) p q H! 8 ! C ¬p q& + 2
.q &. ./ p &. )1 K1

H! 8 ! p C q q C p - I ) @3 - <Iq p) + ) :
.p q
. ) @ 6 1 ) .. q p )1 2 *

: q p ) + K1 1) ( > L : ! %
¬(¬p ) p
.(p q) (¬q ¬p )

:2 - (q p ) + K1 1) ( " ! 8 23 ! J 6 )-

p q p q p q p q p q
1 1 1 1 1 1
1 0 0 1 0 0
0 1 0 1 1 0
0 0 0 0 1 1

4
. .$ % & : ! ( ) ! :I

:)1 ) -? )- N !3 (& . )- & + M 6 1 &. ) -?

¬( p q) (¬p ¬q )
¬( p q) (¬p ¬q )

:2 -? )- & . ! (N -
: p, q, r + O > 1)
.p (q r) (p q) (p r) : #$ % .1
.p (q r) (p q) ( p r) : #$ % .2

5& + - (0=) M 6 1 (1=) &. / . 1& >% D .1 H &! !)

+ ) - (& > * 3 1
p, q, r , p q, p r, q r, p (q r ), ( p q) (p r)
.() ! <3 () 6 ) )! & >

& %I C : ) & ! & ) (8! :() * ! 1) !

. : $ 1N *. ! &!

> < D: ( D ! ) * !! < . !>I / + A >- ) .1 23 :& ' !

)* ! " 8 D! 0 )* ! & ? (<- <D / >- :. %
:2 3 J6 "; !
.p & + &. !>I
) & )& 6 3 % : ! 5 ¬p < &. (; K1) !
) - 2 ! (&. . q &+ )1 ! A O . ¬q & + &. %I ( C :
. ¬p ¬q C : !>1
.&. . q ¬q )1 B &. . ¬p & + 3 )
¬p )1 B < (; N * )I @ . (; 1! )) + ¬q q )1
.p &. 2 ! &. . 0

%I p ¬q K1 ¬( p q) & + ) : )- ( p q) & + !>R :

.&. . (p q ) & + ) - N ! .;