Мысал 1. «2*2=4» (екі көбейту екі тең төрт). Мысал 2

1 және 2 тұжырымдар – ақиқат, ал 3, 4 –жалған. Бір ғана тұжырым болатын айтылымды жай немесе қарапайым деп атайды. Қарапайым тұжырымға мысал болып 1 тұжырымды айтуға болады.

Граматикалық байланыстар көмегімен («және», «немесе», «егер..., онда...», «сонда тек сонда ғана») құрылған тұжырымдарды күрделі деп атайды. Осылайша 2 тұжырым мынадай қарапайым тұжырымдардан тұрады: «натурал сан 6 бөлінеді», «натурал сан 3 бөлінеді». 4 тұжырым «немесе» сөзімен қосылған «3 үлкен 5» және «3 тең 5» тұжырымдар.

Әрі қарай бізді тұжырымдардың мағыналы жағы қызықтырмастан, олар қандай ақиқаттық («ақиқат» немесе «жалған») мәнге ие болатындығы қызықтырады. Тұжырымдар алгебрасында бірдей ақиқаттық мәні бар барлық тұжырымдар алмасымды, яғни бізде ақиқат тұжырым және жалған тұжырым секілді екі тұжырым класы бар.

Қарапайым тұжырымдары латын алфавиттің a,b,c,…,x,y,z,… әріптерімен, ақиқат мәнді А әріппен немесе 1 цифрмен, жалған мәнді Ж әріппен немесе 0 цифрмен белгілейміз.

Егер а ақиқат болса, онда а=1, ал егер жалған болса, а=0 деп жазамыз.