2018-03-13

Kan man sätta ett ekvivalenstecken till ett påstående trots att premisserna i klartext inte säger det?

 

Logik

Det ska vara ekvivalenstecken, annars blir inte argument d) logiskt riktigt, och det blir enklare att se det när man tänker på tecknets betydelse i ord: ”om och endast om”.

 

Ekvivalens

Icke kallt <=> Icke snöar, är även vad modus ponens bygger på och som gör att man direkt kan dra slutsatsen om Icke kallt så Icke snö, vilket även stämmer med förnuftet.

 

Från övningsuppgifter:

Logik

Även här är det frågan om ett implicit ekvivalenstecken för ¬A <=> ¬D