Cargando…
Elementare Prädikatenlogik
Die Regeln der Aussagenlogik erlauben uns bloß, solche logischen Folgebeziehungen zwischen Sätzen zu beweisen, für deren Vorliegen allein die aussagenlogische Form dieser Sätze entscheidend ist. Die aussagenlogische Form eines Satzes, so hatten wir gesagt, wird dann sichtbar, wenn man diesen Satz in...
| Autor principal: | |
|---|---|
| Formato: | Online Artículo Texto |
| Lenguaje: | English |
| Publicado: |
2016
|
| Materias: | |
| Acceso en línea: | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7171874/ http://dx.doi.org/10.1007/978-3-476-05048-9_3 |