Tuần 12 cách biểu diễn tri thức logic mệnh đề logic vị từ
Bạn đang xem bản rút gọn của tài liệu. Xem và tải ngay bản đầy đủ của tài liệu tại đây (4.38 MB, 13 trang )
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[
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
