Formeln: Eine Formel in der Logik ist ein wohlgeformter Ausdruck, der eine Aussage darstellt. Ein Satz ist eine Aussage, die entweder wahr oder falsch sein kann. Formeln können mit Hilfe von Variablen, logischen Verknüpfungen und Quantoren gebildet werden. Siehe auch Quantifizierung, Verknüpfungen, Variablen._____________Anmerkung: Die obigen Begriffscharakterisierungen verstehen sich weder als Definitionen noch als erschöpfende Problemdarstellungen. Sie sollen lediglich den Zugang zu den unten angefügten Quellen erleichtern. - Lexikon der Argumente.
|
