Logiczna notacja
Logiczna notacja
| Logiczna notacja | |
| Rachunek nazw (sylogistyka) | |
| Symbole | Objaśnienia |
| S a P | „każde S jest P” („wszystkie S są P”) |
| S e P | „żadne S nie jest P” |
| S i P | „niektóre S są P” („pewne S jest P”) |
| S o P | „niektóre S nie są P” |
| Rachunek zdań | |
| Symbole | Objaśnienia |
p′, ˜p,  , Np, ¬ p
|
funktor negacji: „nie p”, „nieprawda, że p” |
| p + q, p ∨ q, Apq | funktor alternatywy (sumy log.): „co najmniej jedno z dwojga: p lub q” |
| p / q, p ⊻ q | funktor alternatywy wyłączającej, zw. też dysjunkcją (niezgodnością): „p wyklucza się z q”, „co najwyżej jedno z dwojga: albo p, albo q” |
| p · q, p & q, Kpq, p ∧ q | funktor koniunkcji (iloczynu log.): „p i q” |
| p → q, p ⊃ q, Cpq, p ⇒ q, | funktor implikacji: „jeżeli p, to q” |
| p ⇔ q, p ≡ q, p ↔ q, p = q, Epq | funktor równoważności: „p wtedy i tylko wtedy, gdy q” |
| Rachunek zbiorów (klas) i relacji | |
| Symbole | Objaśnienia |
| x ∈ A | x jest elementem zbioru A |
| A ⊂ B | zbiór (relacja) A zawiera się w zbiorze (relacji) B |
| xRy | x jest w relacji R do y |
| A′, –A, Ā | dopełnienie zbioru (relacji) A |
A + B, A  B
|
suma zbiorów (relacji) A i B |
| A – B | różnica zbiorów (relacji) A i B |
| A · B, A ∩ B | iloczyn zbiorów (relacji) A i B |
| R ∘ S, R; S | iloczyn względny relacji R i S |
| Ř, R–1 | konwers relacji R |
| Rachunek kwantyfikatorów | |
| Symbole | Objaśnienia |
| ∏x, ⋀ x, ∀x (x) | kwantyfikator ogólny (duży): „dla każdego x” |
| ∑x, ⋁ x, ∃x, (Ex) | kwantyfikator szczegółowy (mały): „dla pewnego x”, „istnieje takie x, że” |
Znaleziono w książkach Grupy PWN
Trwa wyszukiwanie... 
