TALLER 1:LOGICA Y CONJUNTOS

5
GRUPO 7
GR-22

Integrantes:
Kevin Guamán
Kenneth Pérez
Kevin Yépez
Roni Cuaran
BRISEIS Arévalo
Alexis Carrión

RESPUESTA:
Tercero excluido: El valor de verdad de toda proposición o bien es verdadero o bien es falso. 0.1
No contradicción: Si el valor de verdad de una proposición es verdadero, no puede ser
también falso; y si es falso, su valor de verdad no puede ser verdadero. 0.1
Conectivas: Hay proposiciones que se expresan mediante otras proposiciones y de una o más
de las siguientes palabras (a las que se les denomina conectivas): negación, conjunción,
disyunción, implicación o doble implicación. 0.1
Proposiciones simples: Hay proposiciones (denominadas simples) que no se expresan
mediante otras proposiciones
Proposiciones: Toda proposición es, o bien simple, o bien se expresa únicamente mediante
otras proposiciones y una o varias de las conectivas negación, conjunción, disyunción,
implicación o doble implicación.

RESPUESTA:
 0.1

0.1

0.1

0
RESPUESTA:

0
RESPUESTA:

0.3

RESPUESTA:
(¬S ⇔ P) ∧ ¬(Q ⇔ R)

Por el axioma de la negación, si la negación de P es falsa entonces P es verdadero.

Ahora determinamos los valores de verdad de la proposición (¬S ⇔ P) ∧ ¬(Q ⇔ R)
Si sabemos que la doble implicación de Q y R es falso por el axioma de la negación,
estamos negando a esa doble implicación, entonces esa proposición es verdadera.
Sabemos que el valor de la negación de P es falso por lo tanto P es verdadero y se sabía
que S era falso por lo que significa que, por el axioma de la negación, la negación de S es
verdadero 0.2
Por el axioma de la doble implicación de la negación S y P es verdadero por lo tanto por
el axioma de la conjunción toda esa proposición es VERDADERO
RESPUESTA:
¬(R ⇒ ¬ S ) ⇔ R.
Por la tautología negación de la implicación podemos:
0
Cambiar la implicación por una conjunción.
(R ∧ S ) ⇔ R.
Negamos el antecedente, y mantenemos el consecuente

• Si R es falso por el axioma de la conjunción la proposición de (R ∧ S ) es FALSO.

• Por el axioma de la doble implicación de la proposición (R ∧ S ) es FALSO y R es
falso toda la proposición es VERDADERA

0.3
RESPUESTA:
RESPUESTA:

Para todo conjunto x, existe un conjunto y tal que A (y) ⇒ B(x). 0

A (y) ⇒ ¬ B(x).
A ¬ B A⇒ ¬ B

V F F
F V F

RESPUESTA:
 0

0.1

RESPUESTA:

1
RESPUESTA:

0.4

0.2

0.2
RESPUESTA:

0.1

0.1

0.1

0.1

0.1

0.1
RESPUESTA:

0.1

0.1
0.1
0.1
0.1
0.1
0.1 0.1

0.1