ACTIVIDAD GRUPO 11

Diego Alexander Afanador Barbosa - 20162379133.

David Steven Bello Daza - 20132379055.
Sebastian Yesid Nieto Gallo - 20162379035.
ACTIVIDAD
 • Si x ≠0 o x ≠ y, entonces y ≠ z

Sea

P: x = 0
Q: x = y
R: y = z

P y Q son verdaderas y R es falsa, indicar el valor de certeza de la siguiente proposición molecular.

El término de enlace dominante es el condicional. Se empieza por las proposiciones atómicas y las proposiciones
moleculares, haciendo esto se tiene:

1. Se tiene la negación de P y teniendo P verdadera siguiendo la regla de la negación su proposición es

falsa.
2. Se tiene la negación de Q y teniendo Q verdadera siguiendo la regla de la negación su proposición es
falsa.
3. Se tiene la negación de R y teniendo R falsa siguiendo la regla de la negación su proposición es
verdadera.
4. (¬P ∨ ¬Q) resulta ser una proposición falsa debido a que tanto P como Q son falsas.
5. Al final se tiene que (¬P ∨ ¬Q) → ¬R es una proposición cierta de acuerdo a la regla de aplicación para
proposiciones condicionales, la cual indica que una proposición condicional es falsa si el antecedente
es cierto y el consecuente es falso; en todo otro caso la proposición condicional es cierta.
 DIAGRAMA DEL PRIMER PUNTO

¬P V ¬Q → ¬R

F F C

C
 • Si x = 0, entonces x ≠ y 0 y ≠ w

Sea

P: x = 0
Q: x = y
R: y = w

P y Q son verdaderas y R es falsa, indicar el valor de certeza de la siguiente proposición molecular.

El término de enlace dominante es el condicional. Se empieza por las proposiciones atómicas y las
proposiciones moleculares, haciendo esto se tiene:

1. Se tiene la negación de Q y teniendo Q verdadera siguiendo la regla de la negación su proposición es

falsa.
2. Se tiene la negación de R y teniendo R falsa siguiendo la regla de la negación su proposición es
verdadera.
3. (¬Q ∨ ¬R) resulta ser una proposición verdadera debido a que tanto R es verdadera y Q es falsa y por
la regla de la disyunción al tener una de las dos proposiciones verdaderas se obtiene la disyunción
verdadera.
4. Al final se tiene que P → (¬Q ∨ ¬R) es una proposición cierta de acuerdo a la regla de aplicación para
proposiciones condicionales, la cual indica que una proposición condicional es falsa si el antecedente
es cierto y el consecuente es falso; en todo otro caso la proposición condicional es cierta.
DIAGRAMA DEL SEGUNDO PUNTO

P → ¬Q V ¬R

C F C

C
 • Si x ≠ 0, entonces y = z

Sea

P: x = 0
Q: y = z

P es verdadera y Q es falsa, indicar el valor de certeza de la siguiente proposición molecular.

El término de enlace dominante es el condicional. Se empieza por las proposiciones atómicas y las
proposiciones moleculares, haciendo esto se tiene:

1. Se tiene la negación de P y teniendo P verdadera siguiendo la regla de la negación su proposición es

falsa.
2. Se tiene la afirmación de Q y teniendo Q falsa siguiendo la regla de la negación su proposición es
falsa.
3. Al final se tiene que ¬P → Q es una proposición cierta de acuerdo a la regla de aplicación para
proposiciones condicionales, la cual indica que una proposición condicional es falsa si el antecedente
es cierto y el consecuente es falso; en todo otro caso la proposición condicional es cierta.
DIAGRAMA DEL TERCER PUNTO

¬P → Q

F F