FUNKTORY JEDNOARGUMENTOWE
asercja ( jest prawdą, że …; zaprawdę powiadam wam …)
|– p, as( p)
p |– p
0
0
1 1
negacja ( nieprawda, że …; nie jest prawdą, że …; nie tak, że …)
~ p, ¬ p, p' , – p, p , N p p
~ p
0 1
1
0
verum
ver( p)
p
verum( p)
0 1
1 1
falsum
fl( p)
p
falsum( p)
0
0
1
0
niektóre FUNKTORY DWUARGUMENTOWE
alternatywa, alternatywa niewyłączająca, suma logiczna (… albo …; … lub …; … bądź …) p ∨ q, p + q, A pq p
q
p∨ q
0
0
0
0 1 1
1 0 1
1 1 1
koniunkcja, iloczyn logiczny (… i …) p ∧ q, p. q, pq, p & q, K pq p
q
p∧ q
0
0
0
0
1
0
1
0
0
1 1 1
implikacja ( jeżeli … to …) p → q, p ⇒ q, p ⊃ q, p < q, C pq p
q
p∨ q
0 0 1
0 1 1
1
0
0
1 1 1
równoważność, ekwiwalencja
(… jest równoważne …; … wtedy i tylko wtedy, gdy …; … zawsze i tylko, jeżeli …) p ≡ q, p = q, p ↔ q, p ⇔ q, E pq p
q
p∨ q
0 0 1
0
1
0
1
0
0
1 1 1
alternatywa rozłączna, alternatywa wykluczająca, ekskluzja (… albo …; dokładnie jedno z dwojga) p ∨ q, p albo q p
q
p ∨ q
0
0
0
0 1 1
1 0 1
1
1
0
dysjunkcja, dyzjunkcja, kreska Sheffera, dysjunkcja Sheffera ( co najwyżej jedno z dwojga) p/ q, p| q, D pq p
q
p/ q
0 0 1
0 1 1
1 0 1
1
1
0
binegacja, negacja łączna ( ani … ani … ) p↓ q
p
q
p↓ q
0 0 1
0
1
0
1
0
0
1
1
0