Predikatslogikk
Fra Wikipedia, den frie encyklopedi
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
