Diskussion:Kontraposition
Wikipedia
Enligt satslogiken är (p→q) = (¬p v q), varför ska inte detta stå med? Johan Forsberg 27 juni 2006 kl.12.06 (CEST)
- Det har inget förklaringsvärde för artikeln kontaraposition. /Åke Persson 27 juni 2006 kl.20.26 (CEST)
Är inte "kontraposition" bara benämning på själva formeln ¬B → ¬A (givet A → B)? Så har jag lärt mig det, det vill säga att det inte har med själva principen om deras ekvivalens att göra. Såvitt jag vet är det exempelvis helt rätt att säga kontrapositionen av en formel behöver inte vara ekvivalent med formeln om logiken inte är klassisk. Hur är det med detta? Jesper Carlström 22 november 2006 kl. 14.23 (CET)
