You are on page 1of 5

BAØI TAÄP LOGIC MEÄNH ÑEÀ (TIEÁP THEO)

-----*-----
BAØI 1 : a/ Duøng quy taéc suy dieãn , haõy chæ ra coâng thöùc döôùi ñaây laø
haèng ñuùng :

 A  B   A  B.
b/ Chöùng minh coâng thöùc :  X  X   X  X
1 2 1 2  X3  X4   X 3 
 X4  1
baèng phöông phaùp bieán ñoåi töông ñöông vaø moâ hình suy dieãn .

BAØI 2 : Cho moâ hình suy dieãn :


A B
BC
CD
D E
A
a/ Vieát coâng thöùc cô sôû cuûa moâ hình treân ?
b/ Baèng quy taéc suy dieãn , haõy cho bieát moâ hình suy dieãn treân coù
ñuùng khoâng ?

BAØI 3 : Chæ ra coâng thöùc :   A  B   A  C    C  D    B  D  1 baèng caùch


:
a/ Duøng phöông phaùp bieán ñoåi töông ñöông .
b/ Duøng quy taéc suy dieãn .

BAØI 4 : Duøng quy taéc suy dieãn , haõy cho bieát moâ hình suy dieãn döôùi ñaây coù
ñuùng khoâng ?

X Y
ZX
Z  Z1
Y  Z1

BAØI 5 : Cho moâ hình suy dieãn :


X 3   X1  X 2 
X4  X3
X4
 X1  X 2
a/ Vieát coâng thöùc cô sôû cuûa moâ hình treân vaø chöùng minh noù ñuùng
baèng p.p bieán ñoåi töông ñöông .
b/ Duøng quy taéc suy dieãn , chæ ra moâ hình suy dieãn treân laø ñuùng .

BAØI 6 : Cho coâng thöùc :


 X 2    
 X1  X 4  X 3    X 4  X 2    X1  X 5    X 5  X1   X 3  X1 .
Chöùng minh coâng thöùc treân haèng ñuùng baèng caùch chæ ra moâ hình
suy dieãn cuûa noù laø haèng ñuùng .

BAØI 7 : Cho moâ hình suy dieãn :


X 2  X1
X4  X3
X1  X 5  X 4  X 2
X 5  X1
 X 3  X1

a/ Vieát coâng thöùc cô sôû cuûa moâ hình treân


b/ Baèng quy taéc suy dieãn , haõy cho bieát moâ hình suy dieãn treân coù
ñuùng khoâng ?

BAØI 8 : Cho moâ hình suy dieãn :


X 2  X1
X4  X3
X2  X4  X5
X5
 X1  X 3

a/ Vieát coâng thöùc cô sôû cuûa moâ hình treân ?


b/ Baèng quy taéc suy dieãn , haõy cho bieát moâ hình suy dieãn treân coù
ñuùng khoâng ?

BAØI 9 : Duøng quy taéc suy dieãn , haõy cho bieát moâ hình suy dieãn döôùii ñaây
coù ñuùng khoâng ?

YX
ZX
Z1  Z
 Z1  Y

BAØI 10 : Chöùng minh coâng thöùc :  X Y Y  Z  Z  Z   Z


1 1 
 Z2   Z2  X  1
baèng quy taéc suy dieãn.

BAØI 11 : Cho coâng thöùc :  X  X  X   X


3 1 2 3 
 X 2    X 2  X 4   X 4  X1  X 2 .
Haõy ñöa coâng thöùc treân veà daïng moâ hình suy dieãn vaø chöùng minh
moâ hình suy dieãn naøy haèng ñuùng.

BAØI 12 : Duøng quy taéc suy dieãn , haõy cho bieát moâ hình suy dieãn döôùi ñaây
coù ñuùng khoâng ?
 X1  X 2   X 3
X3  X4  X5 
X4  X6
X5  X6
 X1
BAØI 13 : Cho coâng thöùc :  X 1 
 X 2    X 3  X 4   X1  X 3   X 2  X4  .

a/ Vieát coâng thöùc cô sôû cuûa moâ hình treân ?


b/ Baèng quy taéc suy dieãn , haõy chöùng minh moâ hình suy dieãn treân
haèng ñuùng khoâng .

BAØI 14 : Chöùng minh coâng thöùc :


 X 2     
 X1   X 3  X 4   X 3  X1   X1  X1   X 4  X 2 
laø haèng ñuùng baèng caùch chæ ra moâ hình suy dieãn cuûa coâng thöùc
treân laø ñuùng .

BAØI 15 : Cho moâ hình suy dieãn :


X1
X 2  X1
X4  X3
 X4  X5    X5  X2 
 X3  X5

a/ Vieát coâng thöùc cô sôû cuûa moâ hình treân .


b/ Duøng quy taéc suy dieãn , chæ ra moâ hình suy dieãn treân laø ñuùng .

BAØI 16 :

Neáu muoán ñi hoïp saùng thöù ba thì An phaûi daäy sôùm .


Neáu An ñi nghe nhaïc toái thöù hai thì An seõ veà muoän .
Neáu An veà muoän vaø thöùc daäy sôùm thì An phaûi ñi hoïp saùng thöù ba
vaø chæ ñöôïc nguû döôùi 7 giôø trong ngaøy.
Nhöng khoâng theå ñi hoïp neáu chæ nguû döôùi 7 giôø .
Vaäy An khoâng ñi nghe nhaïc toái thöù hai hoaëc An phaûi boû hoïp saùng
thöù ba .

a/ Chuyeån caùc giaõ thieát ñaõ cho ra caùc coâng thöùc logic meänh ñeà .
b/ Duøng quy taéc suy dieãn , chæ ra raèng suy luaän treân laø ñuùng .

BAØI 17 :

Neáu An ñi laøm veà muoän thì vôï An seõ raát giaän döõ.
Neáu Bình thöôøng xuyeân vaéng nhaø thì vôï Bình cuõng raát giaän döõ .
Neáu vôï Bình hoaëc vôï An giaän döõ thì coâ Haø baïn cuûa hoï seõ nhaän
ñöôïc lôøi than phieàn .
Maø coâ Haø khoâng nhaän ñöôïc lôøi than phieàn .
Vaäy An ñi laøm veà sôùm vaø Bình raát ít khi vaéng nhaø .

a/ Chuyeån caùc giaõ thieát ñaõ cho ra caùc coâng thöùc logic meänh ñeà .
b/ Duøng quy taéc suy dieãn , chæ ra raèng suy luaän treân laø ñuùng .

BAØI 18 :

Ba vöông quoác laùng gieàng vöøa kyù moät Hieäp ñònh lieân minh quaân
söï phoøng thuû khi chieán tranh xaûy ra.
Hoï cam keát :

- Neáu vöông quoác A khoâng tham chieán , thì vöông quoác B cuõng
khoâng tham chieán .
- Neáu vöông quoác A tham chieán , thì caû vöông quoác B vaø C
cuõng tham chieán.

a/ Chuyeån caùc giaõ thieát ñaõ cho ra caùc coâng thöùc logic meänh ñeà .
b/ Duøng quy taéc suy dieãn , haõy cho bieát : vôùi caùc ñieàu kieän treân cuûa
Hieäp ñònh , lieäu vöông quoác C coù
tham chieán hay khoâng khi vöông quoác B tham chieán ?

BAØI 19 :

Trong baûn baùo caùo toång keát veà coâng taùc Veä sinh phoøng dòch
( VSPD ) cuûa nhaø tröôøng coù ñoïan vieát :

“Hoïc sinh muoán hoïc taäp toát caàn phaûi coù söùc khoûe toát.
Nhöõng hoïc sinh khoâng chaáp haønh nghieâm chænh caùc quy ñònh veà
VSPD ñeàu khoâng coù söùc khoûe toát vaø
nguyeân nhaân laø do gíao vieân khoâng daïy cho hoïc sinh ñaày ñuû
nhöõng quy ñònh veà VSPD .
Muoán GV daïy toát nhöõng quy ñònh naøy nhaø tröôøng phaûi coù ñaày ñuû
caùc taøi lieäu phuïc vuï giaûng daïy cho GV.
Vaäy, hoïc sinh muoán hoïc taäp toát thì nhaø tröôøng phaûi coù ñaày ñuû
caùc taøi lieäu phuïc vuï giaûng daïy ch GV.

a/ Chuyeån caùc giaõ thieát ñaõ cho ra caùc coâng thöùc logic meänh ñeà .
b/ Duøng quy taéc suy dieãn , chæ ra raèng suy luaän treân laø ñuùng .

BAØI 20 :

OÂng Minh khaúng ñònh raèng :

- Neáu khoâng ñöôïc taêng löông thì oâng seõ xin nghó vieäc .
- Maët khaùc , neáu oâng ta nghó vieäc maø vôï oâng ta bò maát vieäc
thì phaûi baùn xe maùy .
- Bieát raèng neáu vôï oâng Minh hay ñi laøm muoän thì seõ maát vieäc
- Vaø cuoái cuøng oâng Minh ñaõ ñöôïc taêng löông .
- Vaäy oâng Minh khoâng baùn xe maùy thì vôï oâng ta khoâng ñi laøm
muoän .
a/ Chuyeån caùc giaõ thieát ñaõ cho ra caùc coâng thöùc logic meänh ñeà .
b/ Duøng quy taéc suy dieãn , chæ ra raèng suy luaän treân laø khoâng
ñuùng.

You might also like