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 \
{{index|alternatywa}}
; Alternatywa : Alternatywa to zdanie połączone '''spójnikiem „lub”'''. Alternatywę zdań '''p''' i '''q''' jest oznaczana przez '''<math> p \
{{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 Morgana''':
:* <math> \neg ( p \
:* <math> \neg ( p \
|