Logika 2.
Már csak egy lépés:
A tananyag tartalma
További matematikai logikai műveletek
Implikáció:
A "ha A, akkor B" típusú állításokat, vagyis ha az A állításból következik a B állítás, ezt implikációnak nevezzük. Ez is egy logikai művelet a két állítással, fel tudjuk írni az igazságtábláját. Ilyenkor az A állítás elégséges feltétele a B-nek, B pedig szükséges feltétele az A-nak.
Megfordítható állítások
Az implikációk, tehát a "ha A, akkor B" típusú állítások megfordítása: "ha B, akkor A". Az implikációk megfordítása nem feltétlenül igaz. Azokat az implikációkat, amiknek a megfordítása is igaz, megfordítható állításoknak nevezzük. Ilyenkor A szükséges és elégséges feltétele a B-nek (és fordítva is)
Mindez a videón meglátod, nem is olyan bonyolult :)