„Aussagenlogikformel“ – Versionsunterschied
| [ungesichtete Version] | [ungesichtete Version] |
Keine Bearbeitungszusammenfassung |
K Textersetzung - „{{agrie.-lat.-dt.}}“ durch „Sprachstufe::agrc.-lat.-deu.“ |
||
| Zeile 1: | Zeile 1: | ||
[[Aussagenlogik]]{{–}}[[Formel]], [[Aussagen]]–[[Logikformel]], | [[Aussagenlogik]]{{–}}[[Formel]], [[Aussagen]]–[[Logikformel]], [[Sprachstufe::agrc.-lat.-deu.]]''<nowiki/>'aussagenlogische Formel' '[[Logikformel]] gemäß [[Aussagenlogik]]''' | ||
* Logische Formeln lassen sich in die der [[Aussagenlogik]] (''[[Aussagenlogikformel|aussagenlogische Formel]]'') und die der [[Prädikatenlogik]] (''[[prädikatenlogische Formel]]'') einteilen. | * Logische Formeln lassen sich in die der [[Aussagenlogik]] (''[[Aussagenlogikformel|aussagenlogische Formel]]'') und die der [[Prädikatenlogik]] (''[[prädikatenlogische Formel]]'') einteilen. | ||
Version vom 14. April 2025, 06:51 Uhr
Aussagenlogik–Formel, Aussagen–Logikformel, agrc.-lat.-deu.'aussagenlogische Formel' 'Logikformel gemäß Aussagenlogik'
- Logische Formeln lassen sich in die der Aussagenlogik (aussagenlogische Formel) und die der Prädikatenlogik (prädikatenlogische Formel) einteilen.