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