logika ironman: Dlaczego w implikacji kiedy z fałszu wynika prawda to jest to zdanie prawdziwe?

Kacper: Ten co kłamał jednak się pomylił i mówił prawdę

ironman: Serio?

PW: A może tak się po prostu umówiliśmy? Kiedyś się umówiliśmy, że każde dwa punkty na płaszczyźnie wyznaczają dokładnie jedną prostą. Nie można tego udowodnić − przyjęliśmy to jako pewnik.

Eta: Jasio powiedział do Kasi :jeżeli będzie pogoda to umawiamy się na spacer Była pogoda i nie przyszedł na spotkanie Jasio skłamał ? ( jasne ,że tak ...) Nie było pogody i nie przyszedł .... ( skłamał? ... jasne ,ze nie Nie było pogody i przyszedł ...( skłamał? jasne ,że nie (był nadgorliwy i chciał widzieć się z Kasią Była pogoda i przyszedł .. ( nie skłamał .. Tylko w przypadku jeżeli poprzednik implikacji jest prawdziwy i następnik jest fałszywy, to implikacja jest fałszywa