Dotā priekšlikuma vai apgalvojuma patiesības vērtība loģikā, patiesība (T vai 1) vai nepatiesība (F vai 0). Loģiskos savienojumus, piemēram, disjunkciju (simbolizē ∨, kas apzīmē “vai”) un noliegumu (simbolizē ∼), var uzskatīt par patiesības funkcijām, jo saliktā piedāvājuma patiesības vērtība ir atkarīga no daudzuma vai no tā atkarīgas funkcijas, tā sastāvdaļu patiesības vērtības.
Salikta apgalvojuma patiesības vērtību var viegli pārbaudīt, izmantojot diagrammu, kas pazīstama kā patiesības tabula. Katra tabulas rinda attēlo iespējamu patiesības vērtību kombināciju savienojuma komponentu piedāvājumiem, un rindu skaitu nosaka iespējamo kombināciju skaits. Piemēram, ja savienojums satur tikai divu komponentu piedāvājumus, būs četras iespējas un tādējādi četras tabulas rindas. Parasto savienojumu loģiskās īpašības patiesības tabulās var parādīt šādi:
kurā · apzīmē “un” un ⊃ apzīmē “ja”… tad. ” (Piemēram, tabulā “vai” otrā rinda ir šāda: “Ja p ir patiess un q ir nepatiess, tad p ∨ q ir taisnība.”) Patiesības tabulas ir daudz sarežģītākas, tās, kurām ir vairākas patiesības funkcijas., var tikt konstruēts ar datora palīdzību. Ir izveidotas abstraktas loģikas sistēmas, kas izmanto trīs patiesības vērtības (piemēram, patiesas, nepatiesas un nenoteiktas) vai pat daudzas, kā izplūdušajā loģikā, kurā piedāvājumiem ir vērtības no 0 līdz 1.
