Matematyka dla liceum/Logika/Podsumowanie: Różnice pomiędzy wersjami

Usunięta treść Dodana treść
Piotr (dyskusja | edycje)
mNie podano opisu zmian
Nie jestem pewny czy to prawda ale raczej tak. W kazdym razie byl blad bo implikacja i rownowaznosc mialy ten sam znak
Linia 21:
 
{{index|równoważność}}
; Równoważność : ''Równoważność'' jest to zdanie złożone połączone '''spójnikiem „... wtedy i tylko wtedy, gdy ...”. Równoważność zdań ''p'' i ''q'' oznaczamy przez '''<math> p \impliesiff q </math>'''. Jest ona '''prawdziwa''', jedynie wtedy, gdy zdanie ''p'' i ''q'' mają tę samą wartość logiczną.
 
{{index|prawo rachunku zdań, tautologia}}