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

Usunięta treść Dodana treść
mNie podano opisu zmian
m Zastępowanie przestarzałej składni LaTeX zgodnie z mw:Extension:Math/Roadmap
Linia 4:
 
{{index|koniunkcja}}
; Koniunkcja : Jest to zdanie złożone połączone '''spójnikiem „i”'''. Koniunkcję zdań '''p''' i '''q''' oznaczamy jako '''<math> p \andland q </math>''', a będzie ono '''prawdziwe''' jedynie wtedy, gdy '''''p'' i ''q'' są prawdziwe'''.
 
{{index|alternatywa}}
; Alternatywa : Alternatywa to zdanie połączone '''spójnikiem „lub”'''. Alternatywę zdań '''p''' i '''q''' jest oznaczana przez '''<math> p \orlor q </math>''' i jest '''prawdziwa''', gdy '''któreś ze zdań''' '''p''' i '''q''' jest '''prawdziwe'''.
 
{{index|negacja}}
Linia 20:
{{index|prawo rachunku zdań, tautologia}}
; Tautologia : ''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&nbsp;Morgana''':
:* <math> \neg ( p \orlor q ) \iff \neg p \andland \neg q </math> (''I prawo De Morgana'')
:* <math> \neg ( p \andland q ) \iff \neg p \orlor \neg q </math> (''II prawo De Morgana'').