1
ACTIVIDAD :GRUPO 2
8. Siendo p y q proposiciones cualesquiera, la proposición, (p → q) ↔ [(p ν q) ↔ q],
a) ¿Es siempre verdadera?
b) ¿Es verdadera si y sólo si p
p q (p → q) ↔ [(p ν q) ↔ q]
lo es?
V V V V V V V V V
c) ¿Es verdadera si y sólo si q
V F V F F V V F F
es falsa?
F V F V V V V V V
F F F V F V F V F d) ¿Es verdadera si y sólo si p y
q lo son?
9. Luego de simplificar la expresión: [(p → q)→q] → (p ν q), podemos afirmar que:
p q [(p → q)→q] → (p νq) a) La proposición es una
V contingencia.
V V V V V
F b) La proposición es una
V F V V V
V contradicción.
F V V V V
V c) La proposición es una
F F F V F
tautología.
d) Es un enunciado abierto
[Link] la proposición compuesta: (p ᴧ q) → (r ν t) es falsa. Indicar las proposiciones que
son verdaderas
(p ᴧq) → (r ν t) =F a) p y r
V V F F b) p y q
V F c) r y t
P=V Q=V R=F T=F d) q y t
e) p y t
2
[Link] que: [(s ↔ p) ∆ r) ν (p ᴧ p) es verdadera y la proposición (p → q) ν ~r es
falsa, halla los valores de “p” , “q” y “s”
(p → q) ν ~ r ≡ f [ ( s ↔ p ) ∆ r ) ν ( p ᴧ p ) ≡ Va) VFV
V F F V V V b) VVV
F F V V c) VVF
d) FFF
e) VFF
[Link] la proposición: No es cierto que estudiemos y no aprobamos es verdadera,
entonces podemos afirmar:
a) Aprobamos y no estudiamos
b) Estudiamos y no aprobamos
c) Estudiamos y aprobamos
d) Estudiamos o aprobamos
e) Aprobamos o no estudiamos
[Link] sabe que: Si Ricardo no es alumno de la Facultad de Derecho o Carlos es alumno
de la Faculta de Derecho, entonces Carlos es alumno de la Facultad de Educación. Si
Ricardo es alumno de la Facultad de Derecho y Carlos no es alumno de la Facultad de
Educación, entonces Carlos es alumno de la Facultad de Derecho. Se desea saber en qué
facultad estudia Carlos.
a) Carlos es alumno de la faculta
R C de Derecho
p q (~p ᴧ p) → q
b) Carlos es alumno de la faculta
V V F V V V V
V F F V V F F de Educación
F V V V F V V c) Carlos es alumno de ambas
F F V V F F F
facultades
d) Carlos no es alumno de
ninguna de las dos facultades
3
[Link] las proposiciones p: Edgar es profesor, q: Matías es ingeniero, r: David es
médico. Hallar la expresión simbólica del enunciado: “Si Matías no es ingeniero y no es
cierto que Edgar sea profesor, porque David es médico”.
- Si Matías no es ingeniero: ~q
- no es cierto que Edgar sea profesor: ~p a) ( ~q ᴧ p) → (p ν r)
-Porque David es médico: r b) (~q ᴧ ~p) → (p ν r)
Rpta: r → ( ~q ᴧ ~p ) c) r → (~q ᴧ ~p)
d) (q ν p) → r
e) (~p ᴧ ~q) → ~r
GRUPO 2 INTEGRANTES:
Culantres Blass Lesly Vanesa
Gargate Ponce Jeanette
Hinostroza Ambicho Kiara Tamara
Huaman Carlos Miguel Angel
Loaiza Bonilla Miguel Angel
Lucero Higinio Jack Anthony