Introducerar begreppen tautologi och kontradiktion samt förklarar vad vi logisk implikation innebär. I ett exempel med en logisk implikation (Modus ponens) illustreras hur vi kan visa att ett logiskt uttryck logiskt implicerar ett annat med hjälp av sanningsvärdestabell. Då S1 logiskt implicerar S2 så kan vi också säga att S2 är en konsekvens av S1. Nedan finns tidstämplar och länk till ritade bilder.
Tautologi och kontradiktion: 0:00
Logisk implikation: 03:42
Länk till ritade bilder:
[ Ссылка ]
Länk till spellistan DISKRET MATEMATIK: [ Ссылка ]
Ещё видео!