Please enable JavaScript.
Coggle requires JavaScript to display documents.
Lógica proposicional y operaciones lógicas (Ramas (La disyunción exclusiva…
Lógica proposicional y operaciones lógicas
Lógica
La lógica es la ciencia formal que estudia los principios de la demostración y la inferencia válida.
Tiene como objeto el estudio de las condiciones en la que un razonamiento puede ser considerado valido, mediante determinación de las reglas de inferencia valida.
¿Qué son las proposiciones?
Enunciado lógico al que se le puede asignar un valor de verdad, una preposición o enunciado es una oración con valor referencial o informativo, de la cual se puede predicar su veracidad o falsedad, es decir, que puede ser falsa o verdadera pero no ambas a la vez
¿Cómo se construyen las proposiciones?
Atreves de proposiciones simples que carecen de conectores lógicos
Proposiciones compuestas que cuentan con más de un conecto lógico
Construcción de las Proposiciones
DISYUNCIÓN
Su tabla es:
La proposición "p o q" es FALSA únicamente en el caso en que p y q sean falsas; en cualquier otro caso es verdadera. Se escribe "p V q" y se lee "p o q".
NEGACIÓN
Si p es una proposición fundamental, de ésta se puede formar otra proposición opuesta a p; se llama la Negación de p (~p), escribiendo: "Es falso que" antes de p, o se inserta en p la palabra "No".
Su tabla es:
CONJUNCIÓN
Se simboliza como "p Λ q", y se lee como "p y q". Se define como una nueva proposición que resulta verdadera (V) en el único caso en que las proposiciones componentes p y q sean ambas VERDADERAS (V); en los demás casos es FALSA (F).
Su tabla es:
Cálculo proposicional y de predicados
Cálculoproposicional:Sentencias que expresan relaciones entre atributos y cualidades de los objetos
Cálculo de predicados: Establecen propiedades de individuos y relaciones entre estos
Ramas
La disyunción exclusiva
La disyunción inclusiva
La Conjunción
La negación
El condicional
El bicondicional
En laces de consulta : Lógica matemática UNAM:
http://132.248.164.227/publicaciones/docs/apuntes_matematicas/36.%20Logica%20Matematica.pdf
