ŚFiNiA

fiklit

Dobra już przejdż do tego, że przy TP i SK, jak wylosujesz z TP to masz gwarancję, że SK.
I ujmij to TP~>SK - mamy gwarancję, i brak rzucania.
I podsumuj p~>q w przypadku p=q daje nam gwarancję i brak rzucania.

A ja na to
~> nie ma po prostu związku z taką gwarancją. istniene tej gwarancji jest niezależne od ~>

w przypadku p=q gwarancja jest skutkiem tego, że w tym przypadku oprócz p~>q mamy też p=>q i to to daje tą gwarancję.

Podsumowując cały czas, od samego począku masz problem ze zdaniami, które o czymś nie mówią. Ty próbujesz ustalić co mówią, robisz jakieś przypadki itp. ale de facto rozważasz już inne relacje. Niezaleażne od tego zdania, które o danej sytuacji nie mówi. I tyle. Dla mnie temat zamknięty.