Wikibooks

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

Przeglądaj historię interaktywnie
← poprzednia edycjanastępna edycja →
Usunięta treść Dodana treść
WizualnieWikikod
błąd językowy - "jest" zmienione na "są"
mNie podano opisu zmian
Linia 19:
 
{{index|prawo rachunku zdań, tautologia}}
; Tautologia : ''Tautologia'' (inaczej '''prawo rachunku zdań''', '''tautologia''') to inaczej zdanie złożone, które jest '''zawsze prawdziwe'''. Aby '''sprawdzić''', czy dane zdanie jest ''tautologią'', należy sprawdzić wszystkie możliwości. Jednymi z ''praw rachunku zdań'' są między innymi '''prawa De Morgana''':
:* <math> \neg ( p \or q ) \iff \neg p \and \neg q </math> (''I prawo De Morgana'')
:* <math> \neg ( p \and q ) \iff \neg p \or \neg q </math> (''II prawo De Morgana'').
Źródło: „https://pl.wikibooks.org/wiki/Matematyka_dla_liceum/Logika/Podsumowanie”