Implikacja materialna: Różnice pomiędzy wersjami

[wersja nieprzejrzana][wersja przejrzana]
Usunięta treść Dodana treść
m Naprawa linku do strony ujednoznaczniającej
MastiBot (dyskusja | edycje)
m Wspomagane przez robota ujednoznacznienie: Przegląd zagadnień z zakresu matematyki - Zmieniono link(i) Wikipedia:Skarbnica Wikipedii/Przegląd zagadnień z zakresu matematyki; zmiany kosmetyczne
Linia 30:
Implikacja spełnia poniższą równoważność:
: <math>(P\implies Q) \iff (\neg Q \implies \neg P)</math>
która nazywana jest zasadą '''kontrapozycji'''. Zasada ta jest podstawą [[dowód nie wprost|dowodu nie wprost]].
 
; Definicja klasyczna
Linia 44:
== Zobacz też ==
{{wikibooks2|książka=Matematyka dla liceum|rozdział=Logika|link=Matematyka dla liceum/Logika#Implikacja}}
* [[Wikipedia:Skarbnica Wikipedii/Przegląd zagadnień z zakresu matematyki|przegląd zagadnień z zakresu matematyki]]
* [[rachunek zdań]]
* [[prawa rachunku zdań]]