Predicatenlogica: verschil tussen versies
Verwijderde inhoud Toegevoegde inhoud
k robot Erbij: pt:Lógica de primeira ordem, uk:Числення висловлень |
k linkcorrectie |
||
Regel 1:
De '''predicatenlogica''' of '''eerste-ordelogica''' is een formele [[logica (wetenschap)|logica]] waarin eigenschappen van en [[relatie (wiskunde)|relaties]] tussen objecten kunnen worden beschreven.
De predicatenlogica is een uitbreiding van de [[propositielogica]]. De taal is uitgebreid met [[constante (algebra)|constanten]], [[variabele]]n, predicaten en soms ook [[functie (wiskunde)|functiesymbolen]]. Een propositie is een speciaal geval van een predicaat, namelijk een predicaat met [[ariteit]] nul. De taal van de predicatenlogica bevat verder twee [[kwantor]]en: de [[universaliteit|universele kwantor]] ∀ en de [[existentiële kwantor]] ∃.
|