Propozitia este un enunt care poate lua una dintre vaorile adevarat sau fals.
Predicatul este un enunt care poate sa depinda de una sau mai multe variabile, peste o multime E, si care pentru orice valori ale variabilelor se obtine o propozitie adevarata sau falsa.
Propozițiile în logică binară se formează pornind de la elemente de bază care pot avea valori nedeterminate, înlănțuite folosind operatori logici. Astfel, dacă P și Q sunt doi astfel de operatori, "P ∨ Q" înseamnă "P sau Q"; cu alte cuvinte, valoarea de adevăr a acestei propoziții este A (adevărat) dacă măcar unul dintre elementele P sau Q este evaluat ca A sau F (fals) altfel. În acest fel se pot scrie propoziții complexe de logică binară, folosind și parantezele pentru a delimita prioritățile operațiilor. De pildă "(P ∨ Q) ∧ ¬(P ∧ Q)" este evaluat ca fiind A dacă și numai dacă una dintre P și Q este A și cealaltă F. Întâmplător, acesta este operatorul derivat "sau exclusiv" explicat mai jos.
Un exemplu mai concret: să spunem că P înseamnă "ai 14 ani sau mai mult" iar Q înseamnă "nu ai buletin". Neștiind nici dacă aveți 14 ani și nici dacă v-ați făcut deja buletin, propoziția logică "R = P ∧ Q", unde R înseamnă "ar trebui să vă faceți buletinul" este validă în mod predeterminat. Astfel se pot abstractiza o multitudine de concepte logice în propoziții valide cu care se poate opera în continuare în mod abstract, fără a cunoaște a priori valoarea concretă de adevăr a elementelor de bază inițiale.
Operațiile binare de bază sunt și (AND), sau (OR) și negație (NOT). Dintre acestea, primele două sunt operații binare iar a treia este o operație unară.
În tabela de mai sus, "1" este interschimbabil cu "Adevărat" (A), iar "0" cu "Fals" (F).
Merită observată analogia grafică a simbolurilor logice de mai sus cu cele din operațiile cu mulțimi: ∧ arată similar cu ∩ ce reprezintă operația de intersecție a mulțimilor (totalitatea elementelor care se află și într-o mulțime și în cealaltă), iar ∨ seamănă cu ∪, reuniunea mulțimilor (elementele ce se află sau într-o mulțime sau în cealaltă)