Matematika

Logika · Témazáró gyakorlás

Logika – témazáró gyakorlás

Rendszerezd a témakör módszereit, majd oldd meg a vegyes feladatsort önállóan.

Értsd meg!

Mire készülj?

A témakör kulcslépései: Ismerd fel az állításokat, és indokold az igazságértéküket. Fogalmazd meg pontosan a tagadást, a mennyiségi kifejezésekre is figyelve. Különböztesd meg az együtt teljesülést és a legalább egyik feltétel teljesülését. Állíts össze igazságtáblát, és értékeld ki az összetett állításokat. Értsd a következtetés és az akkor és csak akkor kapcsolatát. Kapcsold össze a tagadást, a műveleteket és a következtetést.

Az igazságtáblázat négy lehetséges bemeneti párja

I: igaz, H: hamis. Az ÉS csak két igaz résznél igaz; a VAGY legalább egy igaz résznél igaz. Az implikáció egyetlen hamis sora: P igaz, Q hamis.
I: igaz, H: hamis. Az ÉS csak két igaz résznél igaz; a VAGY legalább egy igaz résznél igaz. Az implikáció egyetlen hamis sora: P igaz, Q hamis.

Hogyan használd a feladatsort?

Először oldd meg a feladatokat segítség és megoldásnézés nélkül. Írd le a füzetedbe a számolásokat és az indoklásokat. Az ellenőrzés után nézd át a részletes magyarázatot, és jelöld meg, melyik definíció vagy lépés okozott nehézséget. A témakör leckéihez a legördülő listával visszatérhetsz. A pontszám önellenőrzés, a leírt gondolatmenet minőségét külön is vizsgáld.

Halmazábra az ÉS és a VAGY kapcsolatáról

Az átfedés azokat az elemeket jelöli, amelyekre mindkét feltétel igaz. Az egyesítés a két kör összes pontja. A körökön kívül egyik feltétel sem teljesül.
Az átfedés azokat az elemeket jelöli, amelyekre mindkét feltétel igaz. Az egyesítés a két kör összes pontja. A körökön kívül egyik feltétel sem teljesül.

Amit érdemes megjegyezni

  • Igazságértékek: igaz (I), hamis (H)
  • Univerzális állítás cáfolata: egy ellenpélda
  • ¬(x > a): x ≤ a
  • ¬(minden x-re P): van x, amelyre ¬P
  • ¬(van x, amelyre P): minden x-re ¬P
  • P ∧ Q: mindkettő igaz
  • P ∨ Q: legalább az egyik igaz
  • ¬(P ∧ Q) = ¬P ∨ ¬Q
  • ¬(P ∨ Q) = ¬P ∧ ¬Q
  • n állítás: 2ⁿ lehetséges kombináció

Kidolgozott példák

1. példa

Ellenpélda keresése

Igaz-e: minden páratlan természetes szám prímszám?

  1. A prímszámnak pontosan két pozitív osztója van.
  2. A 9 páratlan, de osztói 1, 3 és 9.
  3. A 9 ellenpélda, ezért az állítás hamis.
  4. Nem szükséges az összes páratlan számot megvizsgálni.

2. példa

Pontatlan tagadás javítása

„Minden jegy legalább 2000 Ft.” Tagadásnak javasolták: „Minden jegy olcsóbb 2000 Ft-nál.”

  1. Az eredeti állítás már egyetlen olcsóbb jegynél hamis.
  2. Nem szükséges minden jegynek olcsóbbnak lennie.
  3. Pontos tagadás: van 2000 Ft-nál olcsóbb jegy.
  4. A 2000 Ft-os jegy az eredeti állításnak megfelel, ezért nem ellenpélda.

Ellenőrizd magad!

Először önállóan dolgozz! A válaszmezőben törtet billentyűzettel így adhatsz meg: „1/2”, tizedest vesszővel vagy ponttal. Több eredményt pontosvesszővel válassz el (például: 2; 3). Ha a kérdés sorrendet ad meg, kövesd azt. Intervallumot például így írhatsz: [2;3]. Ha a feladat a π együtthatóját kéri, csak a számot add meg. Logikai kérdésnél az „igaz” és „hamis” szavakat is használhatod.

Helyesen megoldva: 0 / 12

1. feladat

Igaz vagy hamis: minden 8-cal osztható egész szám páros.

Megoldás és magyarázat

8k = 2 · 4k.

2. feladat

P igaz, Q hamis. Igaz vagy hamis ¬(P ∧ Q)?

Megoldás és magyarázat

P ∧ Q hamis, tagadása igaz.

3. feladat

Igaz vagy hamis: az x < 3 tagadása x ≥ 3.

Megoldás és magyarázat

Az egyenlőség a tagadásban szerepel.

4. feladat

Három állítás igazságtáblájának hány sora van?

Megoldás és magyarázat

2³ = 8.

5. feladat

Igaz vagy hamis: ha n osztható 9-cel, akkor 3-mal; a megfordítása is mindig igaz.

Megoldás és magyarázat

Az első irány igaz, de a 3 ellenpélda a megfordításra.

6. feladat

P igaz, Q igaz. Igaz vagy hamis a kizáró vagy?

Megoldás és magyarázat

Kizáró vagy esetén pontosan egyik lehet igaz.

7. feladatBővítő gyakorlás · Alap

Igaz vagy hamis: 4 páros akkor és csak akkor, ha 2 páros.

Megoldás és magyarázat

Egész szám négyzete az eredeti szám párosságát őrzi meg.

8. feladatBővítő gyakorlás · Alap

P igaz, Q hamis. Igaz vagy hamis: P ∧ Q?

Megoldás és magyarázat

Az ÉS igazságához mindkét rész igazsága szükséges.

9. feladatBővítő gyakorlás · Alkalmazás

P igaz, Q hamis. Igaz vagy hamis: P ∨ Q?

Megoldás és magyarázat

A megengedő VAGY-nál legalább egy igaz rész elegendő.

10. feladatBővítő gyakorlás · Alkalmazás

Hány sora van egy három állításból készített teljes igazságtáblának?

Megoldás és magyarázat

Mindhárom állítás kétféle lehet: 2³=8 kombináció.

11. feladatBővítő gyakorlás · Gondolkodtató

Hány sorban igaz a P ∧ ¬Q kétváltozós teljes igazságtáblája?

Megoldás és magyarázat

Csak a P igaz, Q hamis sorban.

12. feladatBővítő gyakorlás · Gondolkodtató

Igaz vagy hamis: a P ∨ ¬P állítás minden esetben igaz.

Megoldás és magyarázat

Ha P igaz, az első rész; ha P hamis, a második rész igaz.