Atoom (logica)
Een atoom of atomaire formule in de logica is een logische formule die niet is opgebouwd uit subformules en dus ook geen logische operatoren bevat. Vaak worden atomen in de propositielogica aangeduid met p, q en r of met A, B en C. Een voorbeeld van een atoom in de propositielogica is:
- p
De volgende formule uit de propositielogica is geen atoom, want hij is opgebouwd uit atomen p en q en de logische operatoren ↔ (desda) en ¬ (negatie):
- p ↔ ¬ q
In de predicatenlogica zien atomen er iets complexer uit. Hier bestaat een atomaire formule uit een predicaatletter, meestal geschreven met een hoofdletter, en k bijbehorende termen. Een voorbeeld hiervan is:
- P(t1, ..., tk)
Zie ook
This article is issued from
Wikipedia.
The text is licensed under Creative
Commons - Attribution - Sharealike.
Additional terms may apply for the media files.