Khái niệm cần nắm:/\ : Chỉ đúng khi cả 2 cùng đúng ( đc biểu thị là số < 1 >)
\/ : Chỉ sai khi cả 2 cùng sai ( đc biểu thị là số < 0 >)
p=>q : phép kéo theo chỉ sai khi p đúng và q sai ( đc biểu thị là số < 0 > ) >>" số 1 0 là nó đó"
Tính chất của kéo theo: (p=>p) = 1
(p=>q) = ( `q`=> 'p' )
[(p=>q) và (p=>r)] => (p=>r) là một chân đề
(p=>q) = ('p' \/ q )
Bài tập ví du:[(p=>q)/\(a=>r)]=>(p=>r)
( cách làm : Bước 1: tìm xem có bao nhiêu biến ở đây có 4 biến cấn xác định bảng chân trị
Bước 2:bảng chân trị có bao nhiu hàng và bao nhiêu cột>> ta lấy 2 làm phần tử để lũy thừa lên theo số biến có trong đề bài " 2 ở đây theo minh hỉu là 2 phân tử < 1 , 0 > để xác định đúng hay sai
ta có 2/\ 4 = 16 hàng và cột
Bước 3:là cách xác định các phân tử biến : biến 1 lấy tổng là 16 : 2 = 8 ( có 8 đúng và 8 sai )
, biến 2 : tiếp tục chia 2 .. 8:2=4( 4 đúng và 4 sai )
biến 3 : 4:2=2 ("")
biến 4:1 ( 1 đúng và 1 sai) tuần tự như thế có thể áp dụng nhiều biến
Bước 4:chia các trường hợp để tuần tự mà làm
p q a r p=>q a=>r
1 1 1 1
1 1 1 0
1 1 0 1
1 1 0 0
1 0 1 1
1 0 1 0
1 0 0 1
.
.
.
16 hàng tuần tự
Chúc các bạn làm đc nhé!!!