parcial 1 Flashcards
¿Qué significa c?
Números complejos
¿Qué significa N?
Números naturales
¿Qué significa P?
Números primos
¿Qué significa Q?
numeros racionales
¿Qué significa R?
numeros reales
¿Qué significa Z?
números enteros
¿Que estudia la logica matemática?
Principios de la demonstracion yle inferencia válida
¿Que signifiica la inferencia válida?
proceso de derivar conclusiones a partir de premisas
¿En que áreas se aplica la lógica matemática?
ciencias de la computacion y lógica filosófica
¿Cuál es la clasificación de la lógica matemática?
lógica clásica, no clásica, y modal
¿En que se divide la lógica clásica?
lógica proposicional, 1er orden y de 2do orden
¿Que es una sentencia declarativa?
una oración que afirma algo
¿Qué es una proposición?
una sentencia declarativa que debe ser verdadera o falsa pero no ambas
¿Cuál es la variable proposicional?
p
¿Que es una proposicion primitiva?
proposiciones que no se pueden descomponer en hechos más simples
¿Qué es una proposicion compuesta?
un proposicion formada por varias proposiciones primitivas
¿Que valores puede tener el valor de verdad?
verdadero y falso
¬
negación (no)
v
disyunción (o)
conjuncion (y)
¿Cuál es la jerarquía de los operadores lógicos?
¬
v
→
¿Qué es una fórmula bien formada?
una expresión que contiene variables proposicionales, las constantes verdadero y falso, operadores lógicos y paréntesis, los paréntesis deben de estar balanceados, los operadores lógicos deben estar presentes y con el numero de argumentos correctos
¿Qué es una tabla de verdad?
descripción organizada de los valores de verdad de la proposición para todos los valores posibles de las variables proposicionales que aparecen en ella
¿Cómo se simboliza la lógica equivalente?
≡