Język klasycznego rachunku zdań - logika zdaniowa |
Język naturalny |
ZMIENNE ZDANIOWE - p, q, r, s... |
zdania w sensie logicznym - albo prawdziwe, albo fałszywe - posiadają wartość logiczną 1 (prawdziwe; V) lub 0 (fałszywe; F) |
FUNKTORY PRAWDZIWE |
spójniki |
NAWIASY ( ) |
ZNAKI PRZESTANKOWE , . ; ? ! |
negacja |
|
p |
~p |
1 |
0 |
0 |
1 |
„nieprawda, że...” |
|
p |
q |
p ∨ q |
p → q |
p ∧ q |
p ↔ q p ≡ q |
p⊥ q p ∨ q |
p / q |
p ↓ q |
|
|
alternatywa zwykła (nierozłączna) |
implikacja (jedyny funktor nieprzemienny) |
koniunkcja |
równoważność |
alternatywa rozłączna (zanegowana równoważność) |
dysjunkcja (negacja koniunkcji) |
binegacja (negacja alternatywy zwykłej) |
|
|
„lub” (co najmniej) |
„jeżeli... to...” p - poprzednik implikacji q - następnik implikacji |
„i” |
„zawsze i tylko jeżeli” |
„albo” (dokładnie - 1 argument prawdziwy) |
„bądź, bądź” „co najwyżej” (1 zdanie prawdziwe) |
„ani... ani...” (prawdziwe, gdy łączy dwa zdania fałszywe) |
1 |
1 |
1 |
1 |
1 |
1 |
0 |
0 |
0 |
0 |
1 |
1 |
1 |
0 |
0 |
1 |
1 |
0 |
1 |
0 |
1 |
0 |
0 |
0 |
1 |
1 |
0 |
0 |
0 |
0 |
1 |
0 |
1 |
0 |
1 |
1 |