Lógica Proposicional Básica

UNIVERSIDAD DEL VALLE
DEPARTAMENTO DE MATEMÁTICAS
PROFESOR: ÓSCAR ANDRÉS MONTAÑO CARREÑO
MATEMÁTICAS BÁSICAS 111095M
1. ELEMENTOS BÁSICOS DE LÓGICA PROPOSICIONAL

Podemos decir que la lógica es el estudio de los métodos y principios utilizados para distinguir el
razonamiento correcto del incorrecto. El interés principal de la lógica no es si una conclusión es en
realidad exacta, sino si el proceso mediante el cual se deriva dicha conclusión de un conjunto de
supuestos iniciales (premisas) es correcto. Así por ejemplo la siguiente forma de razonamiento es
válida:
En los países con más desigualdad los padres suelen ser más autoritarios. (Dinero, edición 562)
Colombia es uno de los países con mayor desigualdad. (Según la ONU, google)
Por lo tanto, en Colombia los padres son más autoritarios.
La lógica expone y examina las reglas que aseguran que, dadas premisas verdaderas, se puede llegar
automáticamente a una conclusión verdadera. No le concierne a la lógica examinar o evaluar la verdad
de las premisas, sino la forma y estructura del razonamiento sin que importe su contenido.
El sistema más simple de la lógica es la lógica proposicional (o cálculo proposicional) en el cual se
representan las proposiciones o enunciados con las letras p,q,r,etc., y las relaciones que pueden haber
entre ellos se representan mediante varios signos especiales.
Nuestro objetivo es estudiar algunos elementos de la lógica proposicional con el fin de utilizarlos
adecuadamente en la comunicación y argumentación matemática.
1.1 Proposición.
Una proposición es una frase bien formada (sujeto y predicado), que tiene sentido y cuya falsedad o
veracidad puede determinarse inequívocamente. No se necesita que pueda decirse su valor de verdad
pero sí que se sepa que es una u otra cosa. Este es el caso de las conjeturas: proposiciones cuyo valor
de verdad no se conoce. Cuando una expresión o frase encierra una contradicción recibe el nombre
de paradoja.
EJEMPLOS
I. Los siguientes enunciados son proposiciones:
a) Alberto carrasquilla es corrupto
b) Las acciones de la ETB crecieron en un 30% en marzo de 2019
c) El deportivo Cali clasifica a la final de la copa águila 2019
d) El sistema general de participación para el 2019 es del orden de 41.4 billones de pesos.
e) El producto interno bruto en Colombia en el 2018 fue del orden de 930 billones de pesos.
f) Si América le gana al Pasto entonces clasifica a la final de la copa águila 2019.
g) Si aprueban la JEP sin modificaciones Uribe va a la cárcel.
h) Si llueve entonces hay nubes.
i) Un cuadrilátero tiene 3 lados.
j) 2+3=7
k) Este curso tiene 71 estudiantes matriculados.
l) Si un estudiante estudia y hace los ejercicios asignados en matemática básica, entonces
aprueba el curso.
m) Todos los Uribistas son ignorantes.
n) Todos los hombres son mortales.
o) Todos los motociclistas son imprudentes.
II. Los siguientes enunciados no son proposiciones:
a) El innombrable
b) Mantenga el frasco cerrado cuando no sea utilizado.
c) X+3
d) ¿Qué hora es?
e) Vamos a la cafetería que tengo hambre.
III. Los siguientes enunciados son conjeturas:
a) Dios existe.
b) Todo número par mayor que dos, es la suma de dos números primos. (Golbach)
IV. El siguiente enunciado es una contradicción: Está prohibido prohibir.
1.2 Proposición abierta.

Una proposición abierta es una oración incompleta que contienen una o más variables y que se
convierte en proposición, cuando la o las variables se sustituyen por elementos definidos dentro de
un conjunto.
EJEMPLOS
a) 5x+7=0
b) Si el gobierno aprueba un incremento salarial del x por ciento, entonces mi salario S aumenta a
(1+x/100)*S.
c) Si las regalías son el 4 por ciento del producto interno bruto x para el 2019, entonces las regalías
son del orden de 4x/100.
NOTACIÓN: Para simbolizar una proposición utilizaremos las letras p,q,r,s,etc. Si la proposición es
abierta utilizaremos p(x) si depende de una sola variable, p(x,y) si depende de las variables x, y, etc.
1.3 Conectivos proposicionales.

Las proposiciones pueden combinarse mediante los llamados conectivos proposicionales para generar
las llamadas proposiciones compuestas (cuando una proposición no es compuesta se llama
proposición simple).
1.3.1 CONJUNCIÓN. Dadas dos proposiciones p,q el conectivo “y” actúa sobre ellas dos para formar la
conjunción de p y q, se simboliza pq.
La conjunción es verdadera solamente si p y q lo son. Si expresamos esto en una tabla que
llamaremos tabla de verdad de la conjunción, tenemos:
p q pq
V V V
V F F
F V F
F F F
1.3.2 DISYUNCIÓN. Dadas dos proposiciones p,q el conectivo “o” actúa sobre ellas dos para formar la
disyunción de p y q, se simboliza pq.
La disyunción es falsa solamente si p y q son falsas. Si expresamos esto en una tabla que
llamaremos tabla de verdad de la disyunción, tenemos:
p q pq
V V V
V F V
F V V
F F F
1.3.3 CONDICIONAL. La implicación o condicional de p y q, se simboliza por pq. A p se le llama antecedente y a
q consecuente. La implicación solamente es falsa cuando un antecedente verdadero implica un consecuente
falso. La proposición compuesta pq es equivalente a:
p implica q.
Si p, entonces q.
p es condición suficiente para q.
q es condición necesaria para p.
La tabla de verdad del condicional es la siguiente:
p q pq
V V V
V F F
F V V
F F V
1.3.4 NEGACIÓN DE UNA PROPOSICIÓN. Dada una proposición p, podemos hablar de la negación de p.
Simbolizada por p o p, cuya tabla de verdad está dada por:
p p
V F
F V
1.3.5 BICONDICIONAL O DOBLE IMPLICACIÓN. Dada la proposición pq se puede pensar en la recíproca
de ella qp. Es de gran interés el caso en que ambas implicaciones tienen el mismo valor de
verdad. Es así como surge el bicondicional, el cual se simboliza por pq y es equivalente a la
expresión proposicional (pq)(qp), se lee, p si y sólo si q; p si y solamente si q, q es condición
necesaria y suficiente para p. Para deducir su tabla de verdad llene las columnas en el orden de la
numeración que aparece a continuación:
1 2 3
p q pq qp (pq)(qp
)
V V
V F
F V
F F
EJERCICIOS
Una expresión proposicional es una expresión en la que aparecen proposiciones unidas por los conectivos
lógicos. Una expresión proposicional es una tautología, si es verdadera para todas las posibles asignaciones
de verdad. Una expresión proposicional es una contradicción si siempre es falsa. Determine cuáles de las
siguientes expresiones son tautologías.
1) (pq)(q(p))
2) [(pq)(p)]q
3) [{(p)(q)}(qp)]

Lógica Proposicional Básica

Cargado por

Copyright:

Formatos disponibles

Lógica Proposicional Básica

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Lógica Proposicional Básica

Cargado por

Copyright:

Formatos disponibles

UNIVERSIDAD DEL VALLE

1. ELEMENTOS BÁSICOS DE LÓGICA PROPOSICIONAL

1.2 Proposición abierta.

1.3 Conectivos proposicionales.

También podría gustarte