Klasyczny rachunek zdań 1
Symbole alfabetu klasycznego rachunku zdań (→ KRZ):
1. zmienne zdaniowe: p, q, r, s, t, u, …
2. funktory prawdziwościowe:
Funktor KRZ Symbol Sposób
użycia
Spójnik mowy potocznej
NEGACJA ~ ~ p„Nie jest tak, że ...”
„Nie jest prawdą, że ...”
IMPLIKACJA →p → s„Jeśli …, to …”
„Jeżeli …, to …”
„O ile …, to …”
KONIUNKCJA ˄p ˄ s„… i …”
„…, a …”
„… oraz …”
„…, ale …”
ALTERNATYWA ˅p ˅ s„… lub …”
ALTERNATYWA
ROZŁĄCZNA
p s„albo …, albo …”
DYSJUNKCJA |p | s„bądź …, bądź …”
RÓWNOWAŻNOŚĆ p s„… zawsze i tylko wtedy, gdy …”
NEGACJA jest funktorem jednoargumentowym. Pozostałe z ww. funktorów są dwuargumentowe.
3. symbole interpunkcyjne:
(, ).
