Please enable JavaScript.
Coggle requires JavaScript to display documents.
LOGICA PROPOCIONAL - Coggle Diagram
LOGICA PROPOCIONAL
-
Calculo de predicado
-
Alfabeto 1
símbolos de constante:
C={c, t, ...}∈AΣ
– de aridad 1: propiedad de un individuo.
Px “ x es par”
P4 “4 es par”
– de aridad 2: relación entre individuos. Pxy “x es más alto que y”
símbolos de predicado: P={P, Q, ...}∈AΣ
-
Alfabeto 2
constantes lógicas:
{⊥ ,Τ}∈AΣ
– Se usan acompañados de variables y con ellos se
cierran los enunciados.
– El radio de acción de la cuantificación K en KxF es F.
– Tienen más prioridad que cualquier conectiva.
conectivas: {¬, ∧ ,∨ , →, ↔}∈AΣ
-
cuantificadores: {∀, ∃}∈AΣ.
-
Alfabeto 3
variables: V={x, y, z, ...}∈AΣ
– Representan individuos anónimos, generales
– Una variable está ligada si está en el radio de acción
de algún cuantificador, Kx F[x], y está libre en otro
caso.
– Una fórmula está abierta si tiene variables libres. Si
no tiene variables libres está cerrad
-
¿Qué es?
La lógica proposicional o lógica de orden cero es la rama de la lógica matemática que estudia proposiciones, afirmaciones u oraciones, los métodos de vincularlas mediante conectores lógicos y las relaciones y propiedades que se derivan de esos procedimientos. Es una herramienta útil para razonar, pero no puede resolver problemas que requieren analizar la estructura interna de las proposiciones o de las relaciones entre ellas. Este tipo de lógica considera las proposiciones como elementos atómicos y no tiene cuantificadores o variables de entidad.
-
¿TABLA DE VERDAD?
corresponde a un arreglo rectangular conformado por una o más proposiciones y todas las posibles combinaciones de verdad que se pueden definir de la proposición dada. Esto es, un conjunto de combinaciones de valores de verdad correspondientes a una proposición
-