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å