Az implikáció és az egyenértékűség helyébe lépő szabályok ismerete segít abban, hogy helyesen építsünk negációt
Tekintsünk egy példát. Adjuk meg a mondatot: E = Nem igaz, hogy ha nyertem egy versenyt, kapok egy díjat. Hagyja A = nyerni egy versenyt, B = kapok egy díjat. Aztán. azaz E = Meg fogom nyerni a versenyt, de nem kapok díjat.
AZ ÁLTALÁNOS ÁTLAGOSSÁGOK EGYSZERŰSÍTÉSE
A komplex kimutatások egyszerűsítése azok helyettesítésével egyenértékű állítások az algebra törvényei alapján, hogy egyszerűbb formanyomtatványokat kapjunk.
Bonyolult állítások egyszerűsítése esetén a következő alapvető módszereket kell használni egy egyedi változó vagy egy állandó helyettesítésére:
a konstansok tulajdonságai alapján
a kirekesztett harmadik jog szerint
az ellentmondás törvényével
az idempotencia törvényével
a kettős tagadás törvényével
A terjesztési törvény értelmében az A-t zárójelben vesszük.
Ebben az esetben a kettős negáció törvényét használjuk.
ELLENŐRZÉSI KÉRDÉSEK ÉS FELADATOK
Tipp: nézze meg a magyarázó szótárakat.
- Határozza meg a fogalmak körét:
a) Ukrajna fővárosa;
d) híres parancsnok;
3. Becsülje meg az alábbi indoklás helyességét: aki felkelt; aki állványon áll; akkor az ülő személy áll.
4. Az "igazság" és a "logikai korrektúra" fogalmának tartalma különbözik?
5. Mi a formális logika alapelve? Magyarázz el konkrét példát.
6. Kimenjen, ha lehetséges, mindegyik parcella következtetését:
a) Azok, akik kopaszodnak, nem szükséges fésű.
Nincs gyík hajával.
b) Jó cselekedet nem jogellenes.
Mindaz, ami törvényesen történhet félelemmel.
c) Néhány lecke nehéz.
Mindez nehézséget igényel.
7. Határozza meg, hogy az alábbi kifejezések közül melyik a logika algebra szempontjából. Határozza meg az állítás jelentését (igaz vagy hamis):
a) A 8456 szám tökéletes.
b) Nehézség nélkül nem fog halat a tóból.
c) Jó, hogy általános legyen!
d) A forradalom lehet békés és nem békés.
e) A látás normális, vagy ha a személy hyperopia vagy rövidlátó.
f) Ismerd meg magadat.
g) Nem lehet, hogy senki nem lélegzik le a kopoltyúkról.
h) A tehetség mindig átmegy önmagára.
i) Egyes állatok gondolkodnak.
j) Informatika, különösen tanulmányi algoritmusok.
l) Minden igazság konkrét.
m) Ez az állítás hamis.
8. Határozza meg a következő összetett állítások formáit, és írja le azokat a logikai algebrák nyelvén:
a) Ahhoz, hogy az időjárás napos legyen, elég, hogy nincs szél, nincs eső.
b) Ha szabadidőm van, és nincs eső, nem fogom megoldani a matematika problémáit, de a diszkóba megyek.
c) A ló egy gramm nikotinnal meghal, de nem vagyok ló, ezért káros a dohányzás.
d) nélküled sokat akarok mondani,
Veled akarok hallgatni.
e) Az emberek felsőoktatásban részesülnek, amikor egy intézményt, egyetemet vagy akadémiát végzettek.
9. Az alábbi összetett mondatok igaztábláinak összeállítása és annak meghatározása, hogy ezek a kijelentések azonosak-e:
10. Határozza meg, hogy a következő pár nyilatkozatok egyenértékűek-e, és amelyek nem: