Las Proposiciones Lógicas 8/03/22

Una proposición lógica es un enunciado que puede ser verdad o falsa.

Ejemplo: El mar es contable ___

La miss Betsy está muy delgada _ _ _

El primer mes del año es enero. _ _ _

La arena es incontable. _ _ _

Clases de Proposiciones Lógicas. _ Existen 2 clases de proposiciones lógicas, siendo estos los siguientes:

- Proposición Lógica Simple

- Proposición Lógica Compuesta

Proposición Lógica Simple. _ Consta de un solo enunciado, es decir no necesita conectores lógicos.

Ejemplo: Hoy ingresaron 4 alumnos a clases. _ _ _

Proposición Lógica Compuesta. _ Hablamos de una proposición lógica compuesta cuando existen 2 enunciados
unidos por unos conectores lógicos.

Ejemplo: La miss Betsy es gordita y la miss Sandra también

Conector Lógico._ Son símbolos del lenguaje convencional que reemplazan a los conectivos gramaticales, entre los
conectivos lógicos tenemos:

~ (no) virgulilla

˄ (Y)

˅ (O)

→ (Si …entonces)

↔ (Si y solo si)

▲ ( O. . .O)

(Ni . . .ni)

Continuación 8/03/22

Los valores de la verdad._ Los valores de la verdad de una proposición compuesta depende de los valores de la verdad
de las proposiciones que la componen, quiere decir debemos guiarnos de sus reglas.

Existen 7 proposiciones lógicas compuestas y estas son las siguientes:

La negación ~ (no)

La conjunción ˄ (Y)

La disyunción ˅ (O)

La condicional → (Si …entonces)

La bicondicional ↔(. . .Si y solo si . . .)

La disyunción exclusiva ▲ ( O. . .O)

La disyunción opuesta (Ni . . .ni)

Tabla de la Verdad
p q

V V

V F

F V

F F

Palabras Claves:

La Negación._ ~ (no) es la “LA SEÑORA CONTRERAS” ella era negrita.

V= F y F= V
q ~q
p ~p
V F
V F
F V
V F
F V V F

F V F V

La Conjunción._ ˄ (Y) “EL GORRO DEL DUENDE YVAN” Ivan era un duende que le gustaba conjugar verbos y tenia
una característica muy particular Yvan siempre decia la verdad.

V–V=V
p ˄ q

V V V

V F F

F F V

F F F

La Disyunción._ ˅ (O) “ EL CONO DE OMAR” Omar era un niño que era muy mentiroso por eso él siempre paraba
discutiendo. Omar siempre decia mentiras.

F–F=F
p ˅ q

V V V

V V F

F V V

F F F

La Condicional._ → (Si …entonces) “LA CLÁSICA DE MAMÁ” mi mamá tiene una forma muy clásica de engañarme,
ella me condiciona,siempre que le pido permiso para salir a jugar me dice: te acuerdas que te castigaron en el colegio?
Si . . . quieres salir primero dime la verdad, ah y después dime la mentira que me dijiste entonces yo también te dire si
podrás salir, cosa que es mentira. También se le conoce con el nombre de implicación.
V–F=F
p → q

V V V

V F F

F V V

F V F

Jueves 10 de marzo del 2022

Continuación

La Bicondicional._ ↔ (Si y solo si) “EL PERMISO PARA IR AL BAÑO” cierto día la chapa del baño del colegio se
malogró por eso la miss Betsy dijo: van a tener permiso si solo si van 2 del mismo género y la indicación lo copio con su
bicolor. También se le conoce con el nombre de Equivalencia.

V–V=V
p ↔ q
F–F=V
V V V

V F F

F F V

F V F

Disyunción Exclusiva._ ▲( O. . .O) “INDICACIÓN PARA HACER EDU. FÍSICA” Cierto día la miss Karina dijo: el
ejercicio que sigue es difícil. Por eso la indicación es: O trabajan combinado O nadie trabaja. Después de un rato se
escucho por ahí: por distraido he sido excluido.

V–F=V
p ▲ q
F–V=V

V F V

V V F

F V V

F F F
Disyunción Opuesta._ ↓(ni . . .ni) “EL CONCHUDITO” cierto día hubo una discusión y mi amigo se Opuso a que
fueramos a comer porque ni queria ceviche, ni queria pollo sólo queria su chifita. Por eso no aceptaba nada.

F–F=V
p ↓ q

V F V

V F F

F F V

F V F
Lógica Proposicional

Operaciones Condicional Bicondicional Disyunción Disyunción

Negación Conjunción Disyunción
Lógicas o Implicación o Equivalencia Exclusiva Opuesta

Significado
de los
conectivos
lógicos

p q ~p ~q p˄q p˅q p→q p↔q p▲q p↓q

V V

V F

F V

F F

Reglas

Dinamica
del
significado
de los
conectivos
lógicos

Truco de las
operaciones
lógicas
 15/03/21

Ejercicios

I_ Resolver las siguientes proposiciones lógicas

1_ (p ˄ q) → (q ˅ p)

(p ˄ q) → (q ˅ p)

V V V V V V V

V F F V F V V

F F V V V V F

F F F V F F F

9/03/21

Ejercicios

( q ˅ q) ↔ (p ˄ q)

˅ ↔ ˄
(q F–F=F
q) V–V=V (p V – V =V
q)
F–F=V

V V V V V V V

F F F V V F F

V V V F F F V

F F F V F F F

( q ▲ p) ˅ (q → p)

(q ▲ p) ˅ (q → p)
F-F=F

V F V V V V V

F V V V F V V

V V F V V F F

F F F V F V F
Actividad:

( p → q) ▲ (p →q)

(q ↔p) ↓(q→p)
 26/03/21

Tautologías, Contradicción y Contingencia

Tautología._ Una proposición compuesta es una tautología si es verdadera para todas las asignaciones de valores de
verdad  para sus proposiciones componentes. Dicho de otra forma, su valor V no depende de los valores de verdad de
las proposiciones que la forman, sino de la forma en que están establecidas las relaciones sintácticas de unas con otras.

Contradicción._  Se entiende por proposición contradictoria, o contradicción, aquella proposición que en todos los casos
posibles de su tabla de verdad su valor siempre es F. Dicho de otra forma, su valor F no depende de los valores de
verdad de las proposiciones que la forman, sino de la forma en que están establecidas las relaciones sintácticas de unas
con otras.

Contingencia._ Se entiende por verdad contingente, o verdad de hecho, aquella proposición que puede ser verdadera o
falsa, (combinación entre tautología y contradicción) según los valores de las proposiciones que la integran.
Observaciones:
(p ↔ q) ↔ [ (p → q) ˄ (q → p)] = Tautología

Actividad:
La ley conmutativa establece que el orden de los factores no altera el resultado,en lógica proposicional esto es aplicado a
las operaciones con conectivos lógicos que implican conjunción que es afirmar que se dan dos cosas a la vez, y
disyunción que es presentar una elección entre dos cosas,sin importar en qué orden se presentar esta elección.
https://www.youtube.com/watch?v=zCuxgJdWgt0

https://www.slideshare.net/josechanique/conectivos-lgicos-79287515

https://slideplayer.es/slide/4292753/14/images/20/6.+Leyes+de+Morgan%3A+a%29+~+%28p+%D9%A7+q%29+
%E2%89%A1+%28~p+%D9%A8+~q%29+b%29+~+%28p+%D9%A8+q%29+%E2%89%A1+%28~p+%D9%A7+~q
%29+7..jpg

https://www.youtube.com/watch?v=SRMKCW21A8Y