Prawo kontrapozycji: Różnice pomiędzy wersjami
[wersja nieprzejrzana] | [wersja przejrzana] |
Usunięta treść Dodana treść
m Robot zmienia szablon: matematyka stub |
zmiana odwołania do nieistniejącego logicznego kwadratu twierdzeń na odwołanie do logicznego kwadratu |
||
Linia 1:
'''Prawo kontrapozycji (transpozycji)''' – równoważność [[Wynikanie|implikacji]] prostej i przeciwstawnej, wynikająca z [[kwadrat logiczny
<center><math>(p \implies q)\iff(\neg q\implies \neg p)</math></center>
|