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 :)