ESPAÑOL ▼

ریاضي منطق / Lógica matemática - Vocabulario

وړاندیز

proposición

وړاندوینه

predicado

اندازه کوونکی

cuantificador

ټوټولوژي

tautología

تضاد

contradicción

استنباط

inferencia

ډول

modalidad

محور

axioma

تیورم

teorema

ثبوت

prueba

ماډل

modelo

ثبات

consistencia

بشپړتیا

lo completo

سالمتیا

solvencia

منفي کول

negación

ترکیب

conjunción

جلا کول

disyunción

ضمني

implicación

مساوات

equivalencia

نحو

sintaxis

سیمانټیکس

semántica

متغیر

variable

فعالیت

función

اړیکه

relación

ډومین

dominio

تفسیر

interpretación

کسر

deducción

ښکیلتیا

vinculación

منطقي نښلونکي

conectores lógicos

د وړاندوینې منطق

lógica de predicados

وړاندیزي منطق

lógica proposicional

لومړی درجه

primer orden

دوهم درجه

de segundo orden

د ماډل تیوري

teoría de modelos

د ثبوت تیوري

teoría de la prueba

د سیټ تیوري

teoría de conjuntos

رسمي سیستم

sistema formal

میټا تیوري

metateoría

د پریکړې کولو وړتیا

decidibilidad

تکرار

recursión

ثابت ټکی

punto fijo

ترکیبونه

combinatoria

اتوماتیک

autómata

د حساب وړتیا

computabilidad

منطقي دروازه

puerta lógica

د بولین الجبرا

álgebra de Boole

نورمال شکل

forma normal

پایله

consecuencia

ثبات

consistencia

ردول

refutación