Valoarea adevărului
În logica matematică , o valoare de adevăr (sau valoare logică ) este o valoare care stabilește limita în care o propoziție este adevărată .
În logica clasică , singurele valori de adevăr posibile sunt adevărate și false și fiecare propoziție presupune în mod necesar cel puțin una dintre cele două valori și nici alta (o singură valoare și una singură), pentru a indica care sunt literele majuscule V și F utilizate , adică cele două numere 1 și respectiv 0 . Cu toate acestea, alte valori sunt posibile în alte logici: în logica fuzzy și logica polivalentă sunt utilizate alte valori de adevăr care indică pur și simplu adevărat și fals .
Algebric, întregul constituie o algebră booleană cu două stări. Alternativ, alte tipuri de algebre pot fi utilizate ca seturi de valori ale adevărului în logici neclasice: de exemplu, logica intuiționistă exploatează o algebră Heyting .
În teoria toposului , subobiectul clasificator al unui topos înlocuiește setul valorilor adevărului.
Bibliografie
- Elliott Mendelson. Introducere în logica matematică . Torino, Bollati Boringhieri , 1972. ISBN 88-339-5284-3 .
Elemente conexe
linkuri externe
- ( EN ) Truth Value , în Encyclopedia Britannica , Encyclopædia Britannica, Inc.