Jak każdy język formalny język KRN posiada swój alfabet (zestaw symboli, które są używane do budowania formuł) oraz reguły budowania formuł (wyrażeń, które dla KRN są sensowne).
Alfabet KRN składa się z następujących symboli:
S, P, M, M1, M2, M3, M4, ... | terminy
a, e, o , i | spójki (stałe logiczne)
Jak widać z punktu 1, alfabet KRN jest nieskończony, dzięki czemu nigdy nie zabraknie symboli na oznaczenie pojedynczych nazw.
Spójki a, e, i, o odpowiadają mnemonicznie samogłoskom występującym w wyrażeniach każde....jest...., żadne... nie jest..., niektóre... są..., niektóre... nie są....
Jeśli α, β są terminami, a * jest spójką, to α*β jest formułą KRN.
W taki sposób formuła KRN - to dowolny 3-elementowy ciąg symboli alfabetu KRN zbudowany zgodnie z regułą budowy formuł.
Przykłady formuł: SaP, SiP, SoP, SeP -- proste, prawda?
W Klasycznym rachunku nazw (KRN) rachujemy na nazwach. Zanim powiemy, czym są owe "nazwy" w rozumieniu KRN, musimy przypomnimy sobie, jakie są rodzaje nazw są w języku naturalnym i jakie stosunki zakresowe mogą między nazwami zachodzić.
Jeśli pamiętasz dobrze, jakie są rodzaje nazw w języku naturalnym, to możesz przejść do rozdziału "Tłumaczenie na KRN". Jeśli nie pamiętasz, to przeczytaj najpierw rozdział "Nazwy".