Alle fag › Diskret matematikk › Utsagnslogikk

Utsagnslogikk

Et utsagn er enten sant eller usant. Med og, eller, ikke og implikasjon kan utsagn settes sammen, og sannhetsverdien avgjøres med en sannhetstabell. Implikasjonen er bare usann når forutsetningen er sann og konklusjonen usann.

p \land q

og: sann bare når begge er sanne

p \lor q

eller: sann når minst én er sann

p \Rightarrow q \equiv \lnot p \lor q

implikasjon

Symboler

$\lnot$	ikke
$\land$	og
$\lor$	eller
$\Rightarrow$	hvis … så

Eksempel

$p$ : det regner, $q$ : bakken er våt.

$p \Rightarrow q$ er usann bare hvis det regner og bakken er tørr.

Fra en usann forutsetning følger hva som helst: da er implikasjonen alltid sann.

Øv på logikk og mengder gratis →

De Morgans lover →

Del av Diskret matematikk: Logikk og mengder.