一阶逻辑 terjemahan Indonesia

• logika predikat tingkat pertama

• 一:    s; salah; satu; se; sepanjang;seluruh
• 阶:    langkah-langkah; tangga
• 逻辑:    logik; logika; mantik
• 辑:    mengumpulkan
• 逻辑与:    logika konjungsi
• 逻辑或:    logika disjungsi
• 逻辑文:    lojban
• 逻辑的:    logik
• 逻辑门:    gerbang logika
• 逻辑闸:    gerbang logika; get logik
• 逻辑非:    negasi
• 一致性 (逻辑):    konsistensi (logika)
• 不合逻辑:    tidak berlogik
• 传统逻辑:    logika istilah
• 合乎逻辑的:    kukuh; logis; makul; mantiki; munasabah; teguh; wajar

• Logika masuk ke dalam kategori matematika murni karena matematika adalah logika yang tersistematisasi.
  一阶逻辑是数学基础中很重要的一部份，因为它是公理系统的标准形式逻辑。