2018-03-13
Kan man sätta ett ekvivalenstecken till ett påstående trots att premisserna i klartext inte säger det?
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”.
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:
Även här är det frågan om ett implicit ekvivalenstecken för ¬A <=> ¬D