Logica: Termen en concepten

Conjunctie

Conjunctie is een term uit de logica die verwijst naar een logische operator die twee proposities combineert. Het resultaat van een conjunctie is waar (waarheid) als beide proposities waar zijn, anders is het onwaar.

Disjunctie

Disjunctie is een logische operator die twee proposities combineert. Het resultaat van een disjunctie is waar als ten minste één van de proposities waar is. Het is alleen onwaar als beide proposities onwaar zijn.

Identiteit

Identiteit is een logisch concept dat verwijst naar de gelijkheid van twee objecten of entiteiten. Het stelt dat als twee objecten dezelfde eigenschappen en kenmerken hebben, ze identiek zijn aan elkaar.

Implicatie

Implicatie is een logische relatie tussen twee proposities, waarbij de waarheid van de ene propositie de waarheid van de andere impliceert. Als de eerste propositie waar is, moet de tweede propositie ook waar zijn. Als de eerste propositie onwaar is, heeft dit geen invloed op de waarheid van de tweede propositie.

Kwantor

Een kwantor is een logische operator die wordt gebruikt om een uitspraak te kwantificeren. Het geeft aan of een uitspraak geldt voor alle elementen in een bepaalde verzameling (universele kwantor) of voor ten minste één element in de verzameling (existentiële kwantor).

Negatie

Negatie is een logische operator die de waarheidswaarde van een propositie omkeert. Als een propositie waar is, wordt het door negatie onwaar, en vice versa.

Predikaat

Een predikaat is een logische uitspraak die een eigenschap of relatie uitdrukt over een of meer objecten. Het wordt vaak gebruikt in de predicaatlogica om te kwantificeren over objecten en hun eigenschappen.

Premisse

Een premisse is een uitspraak die wordt gebruikt als basis voor een redenering of argumentatie. Het is een bewering of feit waarop een conclusie wordt gebaseerd.

Syllogisme

Een syllogisme is een logische redenering die bestaat uit twee premissen en een conclusie. Het volgt een specifieke structuur waarbij de conclusie wordt afgeleid uit de premissen volgens bepaalde logische regels.

Universeel

Universeel verwijst naar een uitspraak of kwantor die geldt voor alle elementen in een bepaalde verzameling. Het stelt dat een eigenschap, relatie of uitspraak waar is voor elk individu in de verzameling.