BAØI TAÄP LOGIC MEÄNH ÑEÀ

-----*-----
BAØI 1 : Goïi P vaø Q laø caùc meänh ñeà :
P : “ Minh gioûi Toùan “
Q : “ Minh yeáu Anh vaên “
Haõy vieát laïi caùc meänh ñeà sau ñaây döôùi daïng hình thöùc baèng
caùch söû duïng caùc pheùp noái :
a/ Minh gioûi Toùan nhöng yeáu Anh vaên .
b/ Minh yeáu caû Toùan laãn Anh vaên .
c/ Minh gioûi Toùan hay Minh vöøa gioûi Anh vaên vöøa yeáu Toùan .
d/ Neáu Minh gioûi Toùan thì Minh gioûi Anh vaên .
e/ Minh gioûi Toùan vaø Anh vaên hay Minh yeáu Toùan nhöng gioûi Anh vaên .

BAØI 2 : Goïi P , Q , R laø caùc meänh ñeà :

P : “ Bình ñang hoïc Toùan “
Q : “ Bình ñang hoïc Tin hoïc “
R : “ Bình ñang hoïc Anh vaên “
Haõy vieát laïi caùc meänh ñeà sau ñaây döôùi daïng hình thöùc baèng
caùch söû duïng caùc pheùp noái :
a/ Bình ñang hoïc Toùan vaø Anh vaên nhöng khoâng hoïc Tin hoïc .
b/ Bình ñang hoïc Toùan vaø Tin hoïc nhöng khoâng hoïc cuøng moät luùc Tin
hoïc vaø Anh vaên .
c/ Khoâng ñuùng laø Bình ñang hoïc Anh vaên maø khoâng hoïc Toùan .
d/ Khoâng ñuùng laø Bình ñang hoïc Anh vaên hay Tin hoïc maø khoâng hoïc
Toùan .
e/ Bình khoâng hoïc Tin hoïc laãn Anh vaên nhöng ñang hoïc Toùan .

BAØI 3 : Cho coâng thöùc cô sôû vaø moâ hình suy dieãn döôùi ñaây :
a/ Coâng thöùc cô sôû :   A  B  D   A   B  D  .
Moâ hình suy dieãn :  A  B  D
 A   B  D

b/ Coâng thöùc cô sôû :   A  B   A   A  B  .

Moâ hình suy dieãn :  A  B  A
 AB

c/ Coâng thöùc cô sôû :   A  B   A  C     A   B  C   .

A B
Moâ hình suy dieãn :
A C
 A   B C

d/ Coâng thöùc cô sôû :   A  B   C  D     A  C    B  D  .

AB
Moâ hình suy dieãn :
CD
 A  C    B  D 
 e/ Coâng thöùc cô sôû :   A  B   C  C     A  B .
Moâ hình suy dieãn :  A  B   C  C 
  A  B

f/ Coâng thöùc cô sôû :   A  B    A  B    B.

AB
Moâ hình suy dieãn :
AB
B

g/ Coâng thöùc cô sôû :  A   B  B   A

Moâ hình suy dieãn : A BB  
 A

h/ Coâng thöùc cô sôû :  A  B    B  A

Moâ hình suy dieãn : AB
B  A

Haõy chæ ra caùc moâ hình suy dieãn treân laø ñuùng baèng caùch
chöùng minh caùc coâng thöùc cô sôû cuûa
moâ hình laø haèng ñuùng ( theo PP laäp baûng vaø PP luaät logic meänh
ñeà ).

BAØI 4 : Haõy ñieàn meänh ñeà thích hôïp vaøo choå troáng ñeå cho caùc suy
luaän sau ñaây theo PP khaúng ñònh
vaø phuû ñònh laø ñuùng :
a/ Neáu xe cuûa Minh khoâng khôûi ñoäng ñöôïc thì anh phaûi kieåm tra bugi.
Maø xe cuûa Minh khoâng khôûi ñoäng ñöôïc
Suy ra :…………………………………………………………………………………………
……………………………………………………

b/ Neáu Haø laøm baøi ñuùng thì coâ ñöôïc ñieåm cao
Maø Haø khoâng ñöôïc ñieåm cao
Suy ra :………………………………………………………………………………………
………………………………………………………

c/ Neáu chieàu nay Minh ñaù boùng thì Minh khoâng ñöôïc xem tivi buoåi toái
Maø ………………………………………………………………………………………………
………………………………………………………
Vaäy Minh khoâng ñaù boùng chieàu nay .

BAØI 5 : Haõy cho bieát suy luaän naøo trong caùc suy luaän döôùi ñaây laø
ñuùng vaø quy luaät naøo ñöôïc aùp duïng :

a/ Neáu Minh giaûi ñöôïc baøi toùan thöù tö thì Minh ñaõ noäp baøi tröôùc giôø
quy ñònh
Maø Minh klhoâng noäp baøi tröôùc giôø quy ñònh
Vaäy Minh khoâng giaûi ñöôïc baøi toùan thöù tö .
 b/ Neáu laõi suaát giaûm thì soá ngöôøi göûi tieát kieäm seõ giaûm
Maø laõi suaát ñaõ khoâng giaûm
Vaäy soá ngöôøi göûi tieát kieäm khoâng giaûm .

c/ Neáu ñöôïc thöôûng cuoái naêm thì Haø seõ ñi Ñaø laït
Neáu ñi Ñaø laït thì Haø seõ thaêm Suoái vaøng ]
Do ñoù neáu ñöôïc thöôûng cuoái naêm Haø seõ thaêm suoái vaøng .

d/ Neáu Gaïch Ñoàng Taâm ñöøng gôõ laïi vaøo phuùt thöù 90 thì CSG thaéng
traän
Maø CSG ñaõ thaéng traän
Vaäy Gaïch Ñoàng Taâm khoâng gôõ laïi vaøo phuùt thöù 90 .

e/ Neáu An ñi chôi thì An khoâng hoïc Toùan rôøi raïc

An khoâng hoïc Toùan rôøi raïc thì An tröôït Toùan rôøi raïc
Maø An laïi ñi chôi
Vaäy An thi tröôït Toùan rôøi raïc .

f/ Neáu Sôn ñöôïc Ba Meï thöôûng cuoái naêm thì Sôn seõ ñi du lòch sang
nöôùc Anh
Neáu sang nöôùc Anh thì Sôn seõ vieáng thaêm thuû ñoâ Luaân Ñoân
Maø Sôn khoâng vieáng thaêm thuû ñoâ Luaân Ñoân
Vaäy An khoâng ñöôïc Ba Meï thöôûng cuoái naêm .

BAØI 6 : Haõy neâu nhöõng ví duï suy luaän trong cuoäc soáng coù vaän duïng
nhöõng moâ hình suy dieãn sau :

A B
a/
A
B

AB
b/
B
A

AB
c/
BC
 AC

A B
d/
A
B