Academia.eduAcademia.edu
9/11/2013 1 9/11/2013 2 9/11/2013 Ghi chú: Ʌ hoặc l là ký hiệu phủ định 3 9/11/2013 4 9/11/2013 ! " # $% ($ %) * ( , 23 61 7 35# %) & ' * - . +,' /0 1# ,4 * ( 35 /0 1 +,'' +, 5 9/11/2013 8 , $ $ $ $ $ $ 1 %8 %8 %8 %8 %8 %8 / # 9 9 9 9 9 9 8- . /- .* 1' : ; / 2' * 2 1/ ' 5, <2 1 .5 ' 1 .5 5 = 1' > ' 5 3 @ $ A @ $B A C $D B @ $¬ A¬ @ $ /& A ¬B ) /2 A ? # CC : B¬ AB A CC 1 6 9/11/2013 E + 1 . 2 25 ; F .3 ⇔ G B C H 1 35 G# 3 + 1 1 4 1 I 3 1 - 4 3 # 8* 1 . &K 1 - # 35 5 3 / L& ¬@ : 4 1 3 ? 3 MJ 1 3 1 1G + 2 1 .& + 1 F .3 F .3 ? 1 I D # 4J 1 / - 3 / @ 4J 1 @ :52 ? / 5 4 3 3 7 9/11/2013 N 4 8* ; 1 86O /0 1 / & 1 & 25 8 9/11/2013 8 2 !) P K 8 1 * /& 35 , - 3 !) , < = 1Q 9 9/11/2013 R / # L 8R S 2/ , 4 / 1 & 1 & / < , :52 5 2 1 + 4J 1 . 2 1 + 35 - . " 1 / & 1: ; * , " 1 - / & 1: /& . 4 . ? /& 1 35 2 * 35 4 ? : = 1 ? T: T B ? : ) # / * 1# * 1 I V I UI WXB . C WY 9 ZY YTC[ <\ 1I) 35# 1 # V%XB & I) , WY 9 ZY 1 5 1 YTC[V%X ,V WXB WY 9 ZY YTC[ ) ) # V9 ZXB WY 9 ZY YTC[ 5 * 4 1# ? T 5 B I 2 1 /* ? 5 $ V W XB WY 9 ZY I UI YTC[ <C <C 10 9/11/2013 ;4 9 35 ^S _ %9' E& ^S E& ^S : ? < - ) 35 :? 1 8 9 ) 8 ^ 2. %^ 35 : ? < -' -' giá 35 %)' giá 35 O 1 / %9' : %)' : %8' * ∃^ ∈ M ^ 1 : / ∀^ ∈ M %8 :5 2' : %9' ^ %)' :? : 8+ ? ∃^ : 2 %8' ; * 1 .] * - : %8' 35 . 4 . 1: . 4 . 1: = 2 6 ^ %^ 35 T 2 2 ^ %^ 3 , 1: 35 6 ^ T 2 ; 6 + :? ' ] ' 2 ^ 11 9/11/2013 , / . - . : J 1 ? ] /& , J 1 ] /& &K 1 /&K 1 : / : ;4 R / ( ¬ :( . ∀^∃` ^ ` ( . " ^ &K 1 /&K 1 ∀^∃` ^ ` "^ ¬ ∀^∃` ^ ` M 1 ∀^ 8 : 9 ^ ∃^ 8 : 9 ^ 1 8 ∀^9 ^ 8 ∃^9 ^ M :" ^ , 8 : ∀^9 ^ 8 : ∃^9 ^ M . 1 ∀^ 8 9 ^ ∃^ 8 9 ^ , 8 ∀^9 ^ ∀^ 8 9^ 8 ∃^9 ^ ∃^ 8 9^ ∀^9 ^ 8 ∀^ 9 ^ 8 ∃^9 ^ 8 ∃^ 9 ^ 8 12 9/11/2013 13