Scribd
Cargar
112 vistas1 página

Práctica Capítulo 1

El documento presenta varios problemas lógicos y proposiciones para analizar. Instruye determinar si ciertas proposiciones son tautologías, contradicciones o contingencias. También pide simplificar proposiciones lógicas complejas y negar proposiciones cuantificadas existencial y universalmente.

Cargado por

Jefry Cardenas Sandoval
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd
112 vistas1 página

Práctica Capítulo 1

El documento presenta varios problemas lógicos y proposiciones para analizar. Instruye determinar si ciertas proposiciones son tautologías, contradicciones o contingencias. También pide simplificar proposiciones lógicas complejas y negar proposiciones cuantificadas existencial y universalmente.

Cargado por

Jefry Cardenas Sandoval
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PDF, TXT o lee en línea desde Scribd
Está en la página 1/ 1

1) Describa formalmente la siguiente proposición

a) Si hay verdadera democracia, entonces no hay detenciones arbitrarias ni otras


violaciones de los derechos civiles
b) Si José va a trabajar tarde entonces le pagaran menos, y si no va a trabajar tarde
le pagaran más. Por tanto, si va a trabajar tarde o no, le pagarán menos o más.

2) Determine si cada una de las siguientes proposiciones es Tautología, Contradicción


o Contingencia
a) ~(𝑝 ∧ 𝑞) ∨ 𝑟 b) 𝑞 ↔ (~𝑝 ∨ 𝑞)

3) Simplificar las siguientes proposiciones

a)[(~𝑝 ∧ 𝑝) ∨ (𝑝 ∧ 𝑞) ∨ (~𝑝 ∧ ~𝑞) ∨ (~𝑞 ∧ 𝑞)] ∧ 𝑞 b)(𝑞 ∨ 𝑟) ∨ {[(𝑝 ∧ 𝑞) ∨ 𝑟] ∧ [𝑟 ∨ ~𝑞]}


4) Niegue las siguientes proposiciones:

a) ∃𝑦∀𝑥: 𝑝(𝑥) ∧ [𝑝(𝑥) → 𝑞(𝑦)] b) ∃𝑥∃𝑦∃𝑧: 𝑝(𝑥, 𝑦, 𝑧)


c) ∃𝑥∃𝑦[𝑝(𝑥) ∧ 𝑞(𝑦)]

También podría gustarte