3.1: Implikation och ekvivalens
Centralt innehåll
Begreppen implikation och ekvivalens.
Implikation och ekvivalens handlar om att jämföra två påståenden med varandra, och beskriva hur dessa hänger ihop.
Implikation = "Enkelriktad pil" = Om ett av påståendena är sant leder det till att det andra är sant, men inte tvärtom
Ekvivalens = "Dubbelriktad pil" = Två stycken implikationer, dvs är ett påstående sant måste det andra vara sant - åt båda hållen.
Exempel: Avgör vad som ska gälla mellan påståendena
A: "Det regnar ute"
B: "Gräsmattan är blöt"
Om det regnar ute blir gräsmattan blöt, men gräsmattan kan vara blöt utan att det regnar ute. dvs A implicerar B, men INTE tvärtom.