A számítástechnika alapjai

Bizonyítási példák

Az alábbiakban néhány példán keresztül szemléltetem, hogyan kell igazság tábla segítségével az egyenlőséget, ill. egyenlőtlenséget bizonyítani.

A megoldások menete:

1. lépés: A változóknak megfelelő variációkat a táblázat bal szélére felvezetjük. Ez 2 változó esetén 4, 3 változó esetén 8 fajta lehetőséget jelent.

2. lépés: A baloldalon található, zárójelen belüli műveletet végezzük el először, majd a többi műveletet is.

3. lépés: A jobboldalon is az előzőhöz hasonlóan elvégezzük a műveleteket, először a zárójele(ke)n belüli rész(eke)t.

Ha a két oldal eredménye megegyezik, egyenlőségről, ha nem egyezik meg, egyenlőtlenségről beszélhetünk.

1. példa

(Az animáció indításához/leállításához kattints a képen!)

2. példa

(Az animáció indításához/leállításához kattints a képen!)

3. példa

(Az animáció indításához/leállításához kattints a képen!)