waarheidscombinatie
Een waarheidscombinatie is een concept in logica en formele semantiek dat de wijze beschrijft waarop de waarheidswaarde van een samengestelde uiting wordt afgeleid uit de waarheidswaarden van haar componenten. In klassieke propositionele logica wordt dit bepaald door de logische connectieven. De meest voorkomende operatoren zijn conjunctie (en), disjunctie (of), negatie en implicatie, elk met een eigen waarheidstabel die bepaalt wanneer de samengestelde uiting waar is. Bijvoorbeeld, P en Q is waar alleen als P en Q beide waar zijn; P of Q is waar als ten minste één van P of Q waar is; ¬P is waar wanneer P onwaar is; P → Q is waar in alle gevallen behalve wanneer P waar is en Q onwaar.
In natuurlijke taal semantiek en informatiesystemen wordt een soortgelijke waarheidscombinatie toegepast om de waarheidstoestand van samengestelde
Toepassingen van het concept omvatten formele verificatie en redenering in computerwetenschap, semantische analyse van taal, kennisrepresentatie
Zie ook: waarheidsvoorwaarden, waarheidswaarde, waarheidsfunctie, propositionele logica, multi-valued logica.