Logic Hoc Dai Cuong Bai Tap

7/30/2019 Logic Hoc Dai Cuong Bai Tap

1/16

n tp Logic Hc

1, Bi tp chng 1: i tng v ngha ca logic hc

Bi 1. Hy vit cng thc logic ca nhng t tng sau:

a/ C y thng minh v nhanh nhn.

b/ Tt nghip i hc, ti s hc tip cao hc hoc i lm.

c/ Nu khng c gng, anh s khng th thc hin tt nhim v ny.

d/ Khng th no c chuyn l cng dn m li khng tun th php lut.

e/ Nu l chim, ti s l loi b cu trng; nu l hoa, ti s l mt a

hng dng; nu l my, ti s l mt vng my m; nu l ngi, ti scht cho qu hng.

f/ D trm ln khng dn cng chu,

Kh vn ln dn liu cng xong.

Bi lm

a/ C y thng minh v nhanh nhn.

C th vit li cu nh sau: C y thng minh v c y nhanh nhn.

Ta t c y thng minh l mnh a, t c y nhanh nhn l mnh b.

=> Ta c cng thc logic ca t tng l: ab

b/ Tt nghip i hc, ti s hc tip cao hc hoc i lm.

C th vit li cu nh sau: Nu tt nghip i hc th ti s hc tip cao hc

hoc ti s i lm.

Ta t: Tt nghip i hc l mnh a, t ti s hc tip cao hc l

mnh b; t ti s i lm l mnh c

=> Ta c cng thc logic ca t tng l: a (b c)

c/ Nu khng c gng, anh s khng th thc hin tt nhim v ny.

C th vit li cu nh sau: Nu anh khng c gng th anh s khng th

thc hin tt nhim v ny.


2/16

Ta t anh c gng l mnh a, ta t anh s thc hin tt nhim v

ny l mnh b => anh khng c gng l a ; anh s khng thc hin

tt nhim v ny l b

=> Ta c cng thc logic ca t tng l: a bd/ Khng th no c chuyn l cng dn m li khng tun th php lut.

Ta t cng dn tun th php lut l mnh a

cng dn khng tun th php lut l a

=> Ta c cng thc logic ca t tng l a

e/ Nu l chim, ti s l loi b cu trng; nu l hoa, ti s l mt a

hng dng; nu l my, ti s l mt vng my m; nu l ngi, ti s

cht cho qu hng.C th vit li cu nh sau: Nu ti l chim th ti s l loi b cu trng;

nu ti l hoa th ti s l mt a hng dng; nu ti l my th ti s l

mt vng my m; nu ti l ngi th ti s cht cho qu hng.

Ta t: ti l chim l mnh a, ti s l loi b cu trng l mnh

a1; ti l hoa l mnh b, ti s l mt a hng dng l mnh

b1; ti l my l mnh c, ti s l mt vng my m l mnh

c1; ti l ngi l mnh d, ti s cht cho qu hng l mnh

d1

=> Ta c cng thc logic ca t tng l:

(a a1) (b b1) (c c1) (d d1)

*f/ D trm ln khng dn cng chu,

Kh vn ln dn liu cng xong.

C th vit li nh sau: Vic d trm ln nhng dn khng lm th cng

chu, vic kh vn ln nhng dn liu th cng xong

Ta t vic d trm ln l mnh a, khng dn l mnh b,cng chu l mnh c

Nh vy th vic kh vn ln c th coi nh mnh a

dn liu c th coi nh mnh b

V cng xong c th coi nh mnh c

=> Ta c cng thc logic ca t tng l:


3/16

(a b) c

(a b ) c

2, Bi tp chng 3: Phn onBi 1. Tm 3 phn on tng ng vi phn on sau:

a/ n qu nh k trng cy

b/ Chm sc tr em l ngha v ca c gia nh v x hi

c/ Hoc bn thng xuyn hc tp hoc bn s b lc hu so vi cuc sng

Bi lm

a/ n qu nh k trng cy

C th vit li cu trn nh sau: Nu n qu th phi nh ti k trng cyTa t: n qu l mnh a; nh k trng cy l mnh b

Cng thc logic ca t tng l a b

Cc cng thc logic tng ng: a b = ba = a b = b a

=> ba : Khng th no c chuyn l n qu m li khng nh k trng

cy.

=> a b : Hoc l khng n qu, hoc l phi nh ti k trng cy

=> b a : Nu khng nh ti k trng cy th ng n qu

b/ Chm sc tr em l ngha v ca c gia nh v x hi

Ta t chm sc tr em l ngha v ca gia nh l mnh a; chm sc

tr em l ngha v ca x hi l mnh b;

Cng thc logic ca t tng l a b

Cc cng thc logic tng ng: a b = ba = ab = ba

=> ba : Khng th no c chuyn chm sc tr em l ngha v ca gianh th khng phi l ngha v ca x hi.

=> ab : Khng th no c chuyn chm sc tr em l ngha v ca x hi

th khng phi l ngha v ca gia nh.


4/16

=> ba => Khng th no c chuyn hoc chm sc tr em khng phi l

ngha v ca gia nh hoc chm sc tr em khng phi l ngha v ca x

hi.

c/ Hoc bn thng xuyn hc tp hoc bn s b lc hu so vi cuc sngTa t bn thng xuyn hc tp l mnh a; Bn s b lc hu so vi

cuc sng l mnh b

Ta c cng thc logic ca t tng l: a b;

Cc cng thc logic tng ng: a b = a b = b a = ba

=> a b : Nu bn khng thng xuyn hc tp th bn s b lc hu so

vi cuc sng y.

=> b a : Nu bn mun khng b lc hu so vi cuc sng th bn phithng xuyn hc tp.

=> ba : Khng th no c chuyn bn khng thng xuyn hc tp m li

khng b lc hu so vi cuc sng.

3, Bi tp chng 4: Cc quy lut c bn ca logic

Bi 1. Cu ni in m sau c hp logic khng:Mt ngi nghin ru ni vi bn ca mnh: Mi ln say ru ti

li chi bi nh p v con, ti xu h lm, t nay ti s khng bao gi

ung ru na. Nhng c vi hm, tnh c ngi bn nghn thy ngi

nghin ru ang ung ru trong qun bn chy li ni: Sao anh li th

ny, anh ha l s khng bao gi ung ru na kia m? Ngi nghin

ru mi di by tm s: hic hic, bn i, c mi ln ngh n mnh tng

chi bi nh p v con ti thy xu h lm. Ti phi ung ru quni ni xu h v ung ru, bn

Bi lm

Chng ta phi xt gi tr logic ca cu: ung ru qun i ni xu h v

ung ru

Ta t: ung ru l mnh a; xu h l mnh b;

Nh vy ung ru qun i ni xu h c cng thc logic l:


5/16

a b (*)

V xu h v ung ru ung ru th xu h c cng thc logic l:

a b (**)

T (*) v (**) => cng thc chung ca t tng l: (a

b )

( a

b)

Gi s (a b ) ( a b) = c

=

=

cba

cba

)(

)(

Kt qu trn khng hp logic v vi phm quy lut khng mu thun:

Khng th ng thi khng nh 2 iu m trn thc t chng loi tr nhau

Vy (a b ) ( a b) = g

4, Bi tp chng 5: Suy lunBi 1. Hy tm 3 phn on tng ng:

a/ Mi cng dn u phi tun th php lut

b/ c n trng l quyn ca mi tr em

c/ Mi ngi sinh ra u c quyn bnh ng

d/ Tri thc tr ngy nay cn phi gii c l thuyt v thc hnh

Bi lm

a/ Mi cng dn u phi tun th php lutTa t cng dn l mnh S; u phi tun th php lut l mnh

P

Cng thc logic ca t tng l: S l P

Cch 1: S l P S khng l P

=> Mi cng dn u khng c vi phm php lut

Cch 2: S l P S khng th khng l P

=> Mi cng dn u khng th khng tun th php lutCch 3: o ngc phn on

=> Tun th php lut l ngha v ca mi cng dn

b/ c n trng l quyn ca mi tr em

Ta t c n trng l mnh S; quyn ca mi tr em l mnh

P



6/16


=> c n trng khng th khng l quyn ca mi tr em

Cch 2: o ngc phn on

=> Mi tr em u c quyn c n trng

Cch 3:

=> Mi tr em khng th b tht hc

Cch 4:

=> Mi tr em khng th khng c quyn c n trng

c/ Mi ngi sinh ra u c quyn bnh ng

Ta t ngi l mnh S; t c quyn bnh ng l mnh P



=> Mi ngi sinh ra vn khng mt quyn bnh ng


=> Mi ngi sinh ra khng th khng c quyn bnh ng

Cch 3: o ngc phn on

=> Bnh ng l quyn ca mi ngi ngay t khi mi c sinh ra.

Cch 4: i lp v t: P khng l S

=> Bt bnh ng khng phi l ci nh sn cho con ngi khi mi sinh ra

d/ Tri thc tr ngy nay cn phi gii c l thuyt v thc hnh

Ta t tri thc tr ngy nay l mnh S; cn phi gii c l thuyt v

thc hnh l mnh P



=> Tri thc tr ngy nay khng th km v l thuyt hoc thc hnh c

Cch 2: S l P S khng l khng P=> Tri thc tr ngy nay khng th khng gii c v l thuyt v thc hnh

Cch 3: o ngc

=> Gii c v l thuyt v thc hnh l iu thit yu ca tri thc tr ngy

nay

Cch 4: i lp v t S l PP khng l S


7/16

=> Km l thuyt hoc thc hnh l iu khng th chp nhn c i vi

tri thc tr ngy nay.

Bi 2.Hy ch ra phng php suy lun v cho bit nhng suy lun sau y

c hp logic khng, v sao:

a/ Nhm khng phi l ng vt c v v n trng (Ch , trn thc t

nhm l ng vt c v)

b/ Anh y rt lch lm nn anh y l nh phin dch gii (Gi a nn c

tm b?)

c/ Thanh nin by gi thng rt t do, m n th l thanh nin.

d/ Rng ti trc phn n b

Ghen tung th cng ngi ta thng tnh

Khi lm bi ny ch :

_Ch t trong phn on b phn bao gi cng khng chu din

_V t trong phn on ph nh bao gi cng chu din

_Ch t trong phn on ton b bao gi cng chu din

Bi lma/ Nhm khng phi l ng vt c v v n trng (Ch , trn thc t

nhm l ng vt c v)

Cu trn l dng tam on lun rt gn

C th vit li tam on lun trn nh sau:

Nhm trng

ng vt c v hu ht l khng trng

=> Nhm khng phi l ng vt c v

ng vt c v hu ht l khng trng C 1 s ng vt c v l

trng => ng vt c v l khng chu din

M Nhm khng phi l ng vt c v => ng vt c v l chu din

ng vt

c v

ng vt trng

Nhm


8/16

=> Tam on lun khng hp logic v vi phm quy tc 3 Thut ng khng

chu din trong tin khng c tr thnh chu din trong kt lun

b/ Anh y rt lch lm nn anh y l nh phin dch gii (Gi a nn c

tm b?)

Cu trn l dng tam on lun rt gn


Anh y rt lch lm

Tt c cc nh phin dch gii u rt lch lm

=> Anh y l nh phin dch gii

Da vo hnh bn ta thy tam on lun

bi cho khng hp logic, anh y l ngi lch

lm nhng khng th kt lun anh y l ngiphin dch gii c

c/ Thanh nin by gi thng rt t do, m n th l thanh nin.

Cu trn c dng l tam on lun rt gn


Thanh nin by gi thng rt t do

M n th l thanh nin=> N rt t do

Da vo hnh trn ta thy tam on lun bi cho khng hp logic, n l

thanh nin nhng khng th kt lun l n rt t do c

d/ Rng ti trc phn n b

Ghen tung th cng ngi ta thng tnh

Cu trn c dng l tam on lun rt gn


Ti l phn n b

Ngi lch

lm

Ngi phin

dch gii

Anh y

T do

Thanh nin

N


9/16


10/16

=> Ch nht va ri c y khng v nh => a

=> Suy lun ca anh chng l hp logic

b/ y l suy lun c iu kin thun ty

Ti khng c chng ch ngoi ng Ti s kh xin vic a b

Khng xin c vic lm Ti s ko n nh c c/s b c

Ko n nh c c/s ring Nng s khng ly ti c d

M ti th mun ly nng lm v d

=> Ti phi i hc thm ngoi ng c chng ch NN => a

Bi 4.Hy ch ra phng php suy lun:

mt vng quc n c mt c cng cha v cng xinh p. Nm y

cng cha cng n tui cp k, vua cha bn m hi thi kn ph m cho

c con gi yu qu. Th l anh ti khp t phng v kinh thnh d thi.

Sau nhiu cuc so ti gay cn n nght th, cui cng hi thi cng chn ra

c 3 chng trai xut sc nht, thng minh nht, pro nht n t 3 nc

khc nhau: Vit Nam, Anh, M. vng chung kt, vua cha mi a ra mt

bi ton hc ba v ra iu kin nu chng trai no gii p ng v nhanh

nht th s c chn lm ph m. Bi ton nh sau: Vua cha a ra 5 ci m:

3 m v 2 m vng. Sau bt mt 3 chng trai li, cho mi anh i 1 mv giu 2 chic m cn li i. Sau b bt mt v cho 3 anh nhn nhau, hi

xem ngi no on c m mnh i chnh xc v nhanh nht th s c

ci cng cha lm v (Ch , 3 chng trai khng th nhn thy mu m

mnh ang i, ch c th nhn thy mu m ca 2 ngi cn li)

Sau mt pht khng thy 2 ngi kia tr li, ngi Vit Nam bt ng h ln:

Ti i m mu . V kt qu cng tht bt ng, chng trai tr li chun

khng cn chnh v ln ngi ph m. Hy cho bit anh ta lm th no msuy lun chnh xc nh vy?

Bi lm

Trong bi ny c th xy ra 3 trng hp

Trng hp a: 3 anh cng i m mu

Trng hp b: 2 anh i m , 1 anh i m vng

Trng hp c: 1 anh i m , 2 anh i m vng


11/16

_Ta thy khng th no c trng hp c, v nu xy ra trng hp c th

ngi i m s tr li c ngay (v ch c nhiu nht 2 m vng, 2 m

vng xut hin th chc chn ngi cn li i m ), cuc thi khng

cng bng

Nh vy ta loi c trng hp c

_Sau khi loi c trng hp c ta thy cng khng th xy ra trng

hp b. V cc chng trai bit chc chn khng bao gi c chuyn c 2 ngi

i m vng, nu nhn thy c 1 ngi i m vng th s tr li c ngay

mnh ang i m mu

Nh vy ta loi c trng hp b

_Sau khi loi c trng hp b v c => Vy l ch cn li trng hp a:

3 anh u i m , rt hp vi gi thit, c 3 anh mc d rt thng minhnhng 1 pht tri qua mi c ngi tr li.

5, Bi tp chng 6: Chng minh v bc bBi 1

mt vng quc n nh Vua ban sc lnh cho nhng ngi th co: Phi

co v ch c co cho nhng ai khng t co. Hi theo sc lnh ny th

nhng ngi th co c c t co ru tc cho mnh khng?Bi lm

bi ny c 2 trng hp xy ra:

Trng hp 1: Nu ngi th co t co ru tc cho mnh => ngi th co

c th t co => ngi th co co ru tc cho ngi c th t co

=> vi phm sc lnh ch c co cho nhng ai khng t co

Trng hp 2: Nu ngi th co khng co ru tc cho mnh => vi

phm sc lnh phi coNgi th co t co ru tc cho mnh cng khng c m khng co

ru tc cho mnh cng khng c nn sc lnh ca nh Vua ban ra l mt

nghch l

Bi 2 Bi v lng ni tht, lng ni di Version 1.0

1 x X no c 2 lng A v B. Dn lng A chuyn ni tht, dn lng B

chuyn ni di. 1 anh chng trai tr, thng minh n x X tm bn. Khi n


12/16

x X anh gp c gi ngi a phng, anh y hi c y 1 cu. C gi ny

ang vi v cng rt kim li, tr li mi mt cu Khng v b i. Chng

trai lin i sang lng bn cnh v tm c ngi bn ca mnh.

Hi:

Anh ta hi cu g?

Bn ca anh ta l ngi lng g?

Bi lm

Ta thy, do anh chng ch hi 1 cu m c th bit c bn anh ta ang

lng no => Cu hi ca anh ta phi lm th no khm ph ra c 2 ni

dung: Anh ta ang ng trn lng no v bn ca anh ta l ngi lng ni

di hay ni tht.

Ta thy cu hi: C l ngi lng ny c phi khng tha mn c 2 iukin trn. Bi

Trng hp 1:

Nu anh ta ang ng lng ni tht:

_C gi l ngi ni tht th s tr li l: Phi

_C gi l ngi ni di th s tr li l: Phi

=> trng hp ny c gi ch tr li Phi

Trng hp 2:Nu anh ta ang ng lng ni di:

_C gi l ngi ni tht th s tr li l: Khng

_C gi l ngi ni di th s tr li l: Khng

=> trng hp ny c gi ch tr li Khng

Mt khc theo u bi th c gi tr li 1 cu duy nht Khng

=> Xy ra trng hp 2: Anh ta ang ng lng ni di, anh ta i sang

lng bn cnh th gp c ngi bn ca mnh => Bn ca anh ta l ngi

lng ni tht

Kt lun:

Anh ta hi cu: C l ngi lng ny c phi khng?

Bn ca anh ta l ngi lng ni tht.

Mt s bi tp cn ch m c gio a ra trong bui cui


13/16

Bi 1/ Tm 3 phn on tng ng

a/ Mi tr em u phi c i hc

b/ Ngi m khng hc th khng ng lm ngi (Khng T)

Bi lm

a/ Mi tr em u phi c i hc

Ta t tr em l mnh S; u phi c i hc l mnh P



=> Mi tr em khng th khng c i hc


=> Mi tr em khng th b tht hc

Cch 3: o ngc phn on

=> c i hc l quyn ca mi tr em

b/ Ngi m khng hc th khng ng lm ngi (Khng T)

Ta t Ngi m khng hc l mnh A; Khng ng lm ngi l

mnh B

Cng thc logic ca t tng l: A B

Cc cng thc logic tng ng: A B = BA = BA = AB

Cch 1: BA

=> Khng th no c chuyn ngi khng hc m xng ng lm ngi

Cch 2: BA

=> Hoc l chu kh hc tp hoc l khng xng ng lm ngi

Cch 3: AB

=> Nu thc s mun xng ng l ngi th phi chu kh hc tp

Bi 2/ Cc bi tp v nh tro khi nim

a/ T vi cu l bn, l bn th phi lun lun gi uy tn cho nhau, vy mhm y hp lp cu li ph bnh t.

Bi lm

Trong cu trn, khi nim gi uy tn cho nhau b nh tro

Gi uy tn cho nhau khng c ngha l bao che, bo v li lm ca bn b


14/16

b/ Nu ly 1 ht thc t 1 ng thc rt to th ng thc vn cn rt to, ly i

1 ht thc na th ng thc vn rt to, ly i mi mi th vn cn 1 ng

thc rt to.

Bi lm

Trong cu trn, 2 khi nim sau b nh tro cho nhau:

_Ly i tng ht vi s ln khng qu ln th ng thc s cn rt to

_Nhng ly i tng ht m li ly i mi mi th ng thc rt to ri s ht

Bi 3/ Cc bi tp v nghch l

a/ Trn gio ng, 1 cha c ging o:

Cha ton nng, ngi c th sng to ra mi th

1 ngi bng nhin ng dy hi: Th cha ton nng ca cha c th to ra

1 tng m chnh ngi khng vc ni khngBi lm

bi ny xy ra 2 trng hp:

Trng hp 1: Nu Cha c th to ra c tng Nhng Cha li

khng th vc ni n C 1 vic m Cha khng lm c Khng th

gi Cha l ton nng c

Trng hp 2: Nu Cha khng th to ra c tng C 1 vic m

Cha khng lm c Khng th gi Cha l ton nng c

b/ n ht th nh cht bng n

n cn th nh n cho cht

Bi lm

bi ny xy ra 2 trng hp:

Trng hp 1: Nu ngi n ht Theo nh cu ni, s nh cht bng

n s phi cht

Trng hp 2: Nu ngi n khng ht (n cn) Theo nh cu ni, s

nh n cho cht s phi cht

C 2 trng hp, d n ht hay n cn ngi u b nh cht, ngi

khng c s la chn cu bi ra l mt nghch l

Bi 4/ Bi v lng ni tht, lng ni di _Version 1.1


15/16

Ngy xa c 2 ngi lng nm gn nhau ti mt ng 3, 2 trong 3 ng chnh

l v tr ca mi ngi lng. Bit rng ngi lng th nht tn l Lng ni tht,

cn ngi lng th 2 tn l Lng ni di. Mt ngy n c 1 du khch n y

v mun i vo ngi Lng ni tht. V khng bit phi i li no nn ng ta

bn hi 2 ngi ng 2 u ng i vo 2 ngi lng. Vy du khch cn

phi hi cu g ? ( ch dc hi ng 1 cu). Bit rng trong s h c 1 ngi

ni tht v 1 ngi ni di.

Bi lm

Ta ch cn hi mt cu: Nu ti mun n lng ni tht, anh hy ni ti

nghe ngi kia s ch ti i ng no?

Trng hp 1: Nu gp ngi ni tht

_Ngi ni tht s ch ng ng m ngi ni di s ch, m ngi nidi s ch vo ng n lng ni di Ta bit c lng ni di i

ngc li hng ch s ra ng n lng ni tht

Trng hp 2: Nu gp ngi ni di

_Ngi ni di s ch ngc li so vi ngi ni tht, ngi ni tht s ch

ng n lng ni tht, nhng ngi ni di s ch ngc li, tc l ch n

lng ni di Ta bit c lng ni di i ngc li hng ch s ra

ng n lng ni thtNh vy vi cu hi trn, c 2 trng hp ta u bit c ng n lng

ni di, i ngc li s ra c ng n lng ni tht, bi ton c gii

quyt

Ch : Anh em song sinh ca bi ton ny l bi Rng Cc Phng m c

gio c vo bui cui, ch thay lng ni tht bng rng Cc Phng thi

Bi 5/ Bi v lng ni tht, lng ni di _ Version 1.2C mt hn o ngoi khi xa, trn o c 2 b lc, 1 b lc chuyn nitht, 1 b lc chuyn ni di. Mt hn o him thy, khng th b qua, 1

ngi ch v 1 ngi lm cng quyt nh i thuyn n hn o ny thm

th xem th no. Khi thuyn cp bn th 2 ngi nhn thy 1 anh th dn

ang chy nhong nhong trn ct bt cua Ngi ch bn sai anh lm cng

i hi anh th dn 1 cu: Anh ngi b lc no


16/16

Sau mt lc, anh lm cng chy li ni vi ch ca mnh D bm, anh y

bo anh y l ngi b lc ni di

Ngi ch t nhin tc gin, cm gy phang cho anh lm cng mt pht

ngt khng kp ngp v lm bm: Cho cht ci ti ni di

Hi v sao ngi ch li ni v lm vy?

Bi lm

bi ny c 2 trng hp xy ra

Trng hp 1: Nu ngi th dn l ngi lng ni di

=> c hi cu Anh ngi b lc no => anh ta s tr li Ti l ngi

lng ni tht

Trng hp 2: Nu ngi th dn l ngi lng ni tht

=> c hi cu Anh ngi b lc no => anh ta s tr li Ti l ngi

lng ni tht

C 2 trng hp, anh th dn s ch tr li 1 cu Ti l ngi lng ni tht

=> li ca ngi lm cng bo anh ta l ngi lng ni di l khng ng s

tht => B phang l ng roi

Logic Hoc Dai Cuong Bai Tap

Documents

Transcript of Logic Hoc Dai Cuong Bai Tap