proposisjonsvariabler
Proposisjonsvariabler, også kalt utsagnsvariabler, er symboler som brukes i proposisjonell logikk for å representere grunnleggende utsagn som kan være sanne eller falske. Vanlige eksempler er p, q og r. En variabel representerer altså ikke et innhold i seg selv, men en påstand hvis sannhet kan vurderes.
Semantikk i proposisjonell logikk består av en tolkning (en tilordning) av variablene til sannhetsverdier, vanligvis sann
Syntaksen i proposisjonell logikk tillater dannelse av kombinasjoner av variablene ved hjelp av operatorer som konjunksjon
Brukene av proposisjonsvariabler inkluderer å analysere tautologier (uttrykk som alltid er sanne), konsistens og satisfiability av