In de logica is een uitspraak een zin die een duidelijke betekenis heeft en waarvan kan worden vastgesteld of deze waar of onwaar is. Bijvoorbeeld: "De zon schijnt overdag" is een uitspraak, omdat je kunt controleren of het klopt.

Interessant is dat hele redeneersystemen, zoals wiskundige bewijzen en juridische teksten, zijn opgebouwd uit zulke eenvoudige uitspraken. In de formele logica worden uitspraken vaak weergegeven met symbolen en verbonden met logische operatoren. Zo ontstaan complexe logische structuren, die zelfs in kunstmatige intelligentie worden gebruikt.