हिन्दी ▼

गणितीय तर्क / Lógica matemática - लेक्सिकन

प्रस्ताव

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