predicate logic

Giriş yap, bu kelimeyi “Kelimelerim”e ekle.

Tanımlar (İngilizce)

  1. isim The generic term for symbolic formal systems like first-order logic, second-order logic, many-sorted logic or infinitary logic.
  2. isim First-order logic.

İlgili gramer konuları

Bu kelimenin türüne göre konu anlatımları:

Plurals & Quantifiers — Çoğullar ve Miktar