Implikation eller ekvivalens
Kan någon förklara varför A => B är sant?
Titta på sanningstabellen för en implikation A B.
Där ser du att den enda gången som implikationen inte har sanningsvärdet S (dvs Sant) är när A är sann och B är falsk.
I det här fallet är B alltid sann och då spelar det ingen roll om A är sann eller inte, implikationen har ändå sanningsvärdet S.
Går det att resonera sig fram till svaret istället? Jag fattar inte hur A och B hänger ihop.
Det gör de inte.
Läs i din bok eller här om olika typer av implikationer.
Detta är en s.k. materiell implikation, där sanningsvärdet är oberoende av relationen mellan för- och eftersats.
Det du tänker på är en s.k. formell implikation, där för- och eftersats hänger ihop på något sätt, t ex. "Om det regnar så blir jag blöt".
