nativelib.net logo NativeLib ms BAHASA MELAYU ▼

Logik Matematik / Lohika ng Matematika - Lexicon

dalil
panukala
predikat
panaguri
pengkuantiti
quantifier
tautologi
tautolohiya
percanggahan
kontradiksyon
inferens
hinuha
modaliti
modalidad
aksiom
axiom
teorem
teorama
bukti
patunay
model
modelo
konsisten
pagkakapare-pareho
kesempurnaan
pagkakumpleto
kemantapan
kagalingan
penafian
negasyon
kata hubung
pang-ugnay
perpecahan
disjunction
implikasi
implikasyon
kesetaraan
pagkakapantay-pantay
sintaks
syntax
semantik
semantika
pembolehubah
variable
fungsi
function
perhubungan
relasyon
domain
domain
tafsiran
interpretasyon
potongan
bawas
entailment
pagsasama
penghubung logik
lohikal na pag-uugnay
logik predikat
lohika ng panaguri
logik cadangan
lohika ng panukala
pesanan pertama
unang-order
pesanan kedua
pangalawang-order
teori model
teorya ng modelo
teori bukti
teorya ng patunay
set teori
itakda ang teorya
sistem formal
pormal na sistema
teori meta
meta-teorya
kebolehtetapan
kakayahang magdesisyon
rekursi
recursion
titik tetap
nakapirming punto
kombinatorik
combinatorics
automaton
automat
kebolehkiraan
computability
gerbang logik
gate ng lohika
Algebra Boolean
Boolean algebra
bentuk biasa
normal na anyo
akibat
kahihinatnan
konsisten
pagkakapare-pareho
penolakan
pagtanggi