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

---