Docsity
Docsity

Prepara tus exámenes
Prepara tus exámenes

Prepara tus exámenes y mejora tus resultados gracias a la gran cantidad de recursos disponibles en Docsity


Consigue puntos base para descargar
Consigue puntos base para descargar

Gana puntos ayudando a otros estudiantes o consíguelos activando un Plan Premium


Orientación Universidad
Orientación Universidad


Lógica Proposicional: Tablas de Verdad y Tipos de Proposiciones, Ejercicios de Matemáticas

diversos ejercicios de lógica matemática

Tipo: Ejercicios

2023/2024

Subido el 29/05/2024

maryan-alvites
maryan-alvites 🇵🇪

1 / 1

Toggle sidebar

Esta página no es visible en la vista previa

¡No te pierdas las partes importantes!

bg1
1
PRÁCTICA SEMANA 2
1. Determine la tabla de verdad de:
a. (p q) → s
b. [ ( p q ) q] p
c. [ (p s )]
2. Demuestre por medio de tablas de verdad si las siguientes proposiciones son
Tautología, contingencia o contradicción.
𝑎) [(𝑝 𝑞)˄~𝑝] ~𝑞
𝑏) [(𝑝 𝑞)˄(𝑞 𝑟)] (𝑝→𝑟)
𝑐) [(𝑎 ˅ 𝑏)˄(𝑎 ˅ 𝑐)] [𝑎 ˅ (𝑏 ˄ 𝑐)]
3. Si: (𝑝 ˅ 𝑟) (~𝑝 𝑞) es falsa, entonces indique el valor de verdad de las
siguientes proposiciones:
𝐼) ~ 𝑝˄𝑞
𝐼𝐼) (𝑝 ˅ 𝑟) 𝑝
𝐼𝐼𝐼) (𝑝 𝑞)˄(𝑞 𝑝)
4. Si el siguiente esquema molecular es falso:
[(~𝑝∆𝑟) ˄ 𝑞][(𝑝˄~𝑞)˅(𝑟 𝑠)]
Hallar el valor de verdad de:
𝐼) [(𝑠˅𝑟) 𝑝]˅~𝑞
𝐼𝐼) (~𝑠 ˄ 𝑟) (𝑝 ~𝑞)
5. Completa:
a. 𝑥 𝑉 =
d. 𝑧 𝑧 =
g. 𝑥 𝐹 =
b. 𝑥 𝑥 =
e. 𝑥 𝐹 =
h. 𝑦 ∨ ∼ 𝑦 =
c. 𝑦 ∧∼ 𝑦 =
f. 𝑥 𝑉 =
i. 𝑦 (𝑧 ∧∼ 𝑦)=
6. Simplificar:
𝑎) (𝑝 ~ 𝑞)˄[(𝑞 ~𝑝)˅(𝑞 ~𝑟)]
𝑏) ~(𝑞 ˅ ~ 𝑟)(𝑝 ˅ ~𝑝)
𝑐) [𝑝˄(𝑝 𝑞)] 𝑞

Vista previa parcial del texto

¡Descarga Lógica Proposicional: Tablas de Verdad y Tipos de Proposiciones y más Ejercicios en PDF de Matemáticas solo en Docsity!

1

PRÁCTICA – SEMANA 2

  1. Determine la tabla de verdad de:

a. (p  q) → s

b. [ ( p →  q )  q]→ p

c.  [ (p  s )]

2. Demuestre por medio de tablas de verdad si las siguientes proposiciones son

Tautología, contingencia o contradicción.

[(

]

[(

)]

[(

)]

[

)]

3. Si:

→ (~𝑝 → 𝑞) es falsa, entonces indique el valor de verdad de las

siguientes proposiciones:

4. Si el siguiente esquema molecular es falso:

[(~𝑝∆𝑟) ˄ 𝑞] → [(𝑝˄~𝑞)˅(𝑟 → 𝑠)]

Hallar el valor de verdad de:

[(

]

5. Completa:

a. 𝑥 ∨ 𝑉 = d. 𝑧 ∨ 𝑧 = g. 𝑥 ∨ 𝐹 =

b. 𝑥 ∨ 𝑥 = e. 𝑥 ∧ 𝐹 = h. 𝑦 ∨ ∼ 𝑦 =

c. 𝑦 ∧∼ 𝑦 = f. 𝑥 ∧ 𝑉 = i. 𝑦 ∨ (𝑧 ∧∼ 𝑦) =

6. Simplificar:

( 𝑝 → ~ 𝑞

) ˄

[ (𝑞 → ~𝑝)˅

( 𝑞 → ~𝑟

)]

𝑐) [𝑝˄(𝑝 → 𝑞)] → 𝑞