Sanningsvillkor
 |
Den här artikeln behöver källhänvisningar för att kunna verifieras. (2024-05) Åtgärda genom att lägga till pålitliga källor (gärna som fotnoter). Uppgifter utan källhänvisning kan ifrågasättas och tas bort utan att det behöver diskuteras på diskussionssidan. |
Sanningsvillkor är i klassisk logik satsers sanningskriterier som ofta beskrivs med hjälp av sanningsvärdetabeller så att hela uppsättningen av sanningsvärden för olika möjliga fall specificeras.
Om två satser har exakt samma uppsättning sanningskriterier sägs de vara ekvivalenta i klassisk logik.