Predikatslogikk.html |
| | | ca | | | de | | | en | | | es | | | fr | | | it | | | nl | | | no | | | pl | | | pt | | | ru | | | ro | | | fi | | | sv | | | tr | | | vo | | |
| |  |
Fletting: Det er foreslått at denne artikkelen eller seksjonen blir flettet inn i Formal logikk. (Diskusjon).Predikatslogikk har generelt to betydninger:
- logikk studert med matematiske metoder
- matematikkens logikk.
Ofta avser man begge disse tolkninger: man studerar matematikkens logikk med matematiske metoder. Begrepet skal forstås som kontrast til Filosofisk logikk.
rediger Se også
- Logikk
- Filosofisk logikk
- Boolsk algebra
- Tvetydig logikk (fuzzy logic)
- Matematikkfilosofi