lOMoARcPSD|38870608

Objetivo 1.3 Logica Luis Porto CI 30597979

Logica (Universidad Nacional Abierta)

Escanea para abrir en Studocu

Studocu no está patrocinado ni avalado por ningún colegio o universidad.

Descargado por victor concepcion (victorinox421@gmail.com)
 lOMoARcPSD|38870608

UNIVERSIDAD NACIONAL ABIERTA

VICERRECTORADO ACADÉMICO

SUBPROGRAMA SERVICIOS AL ESTUDIANTE

SUBPROGRAMA DISEÑO ACADÉMICO

Establecer de manera reflexiva el valor

veritativo de una formula proposicional
dada mediante la construcción de su tabla
de verdad

Estudiante: Luis Daniel Porto Guevara

C.I:30597979

Semestre: I.

Curso: Lógica (107)

Facilitador: Martha Molina

Metropolitano de Caucagua

Descargado por victor concepcion (victorinox421@gmail.com)

 lOMoARcPSD|38870608

Obj. 1.3: Establecer de manera reflexiva el valor veritativo de una fórmula proposicional dada mediante la construcción de su

respectiva tabla de verdad.

Resolución de los ejercicios propuestos:

Antes de empezar a simbolizar enunciados en lenguaje natural al leguaje de la lógica proposicional, cabe dar unos ejemplos y

aclaraciones, referente a las conectivas lógicas consideradas:

Implicación (→): Solo es falso cuando la premisa es verdadera y la conclusión es falsa.

- A = "El pasto está mojado"

- B = "Ha llovido"

- A → B = "El pasto está mojado implica que ha llovido."

Conjunción (∧): Solo es verdadera cuando ambas premisas son verdaderas.

- A = "El día es soleado"

- B = "El cielo está despejado"

- A ∧ B = "El día es soleado y el cielo está despejado."

Disyunción (∨): Solo es verdadera cuando al menos una de las premisas es verdadera.

- A = "Tomaré té"

- B = "Tomaré café"

- A ∨ B = "Tomaré té o tomaré café."

Doble Implicación (↔): Solo es verdadera cuando ambas premisas son ciertas o ambas son falsas.

- A = "Un número es par"

- B = "Es divisible por 2"

- A ↔ B = "Un número es par si y solo si es divisible por 2."

Ahora sí, continuamos con los ejercicios propuestos:

1. Sea p “Enrique escribe cartas” y sea q “Enrique lee versos” y sea r “estudia matemáticas”. Escribe cada uno de los

siguientes enunciados de manera simbólica.

p: Enrique escribe cartas.

q: Enrique lee versos.

r: estudia matemáticas.

i. Enrique escribe cartas o lee versos, pero no estudia matemáticas. Simbolizando seria: (p ∨ q) ∧ ¬r

ii. Enrique escribe cartas y lee versos, o no escribe cartas y estudia matemáticas. Simbolizando seria:

(p ∧ q) ∨ (¬p ∧ r)

Descargado por victor concepcion (victorinox421@gmail.com)

 lOMoARcPSD|38870608

iii. No es cierto que Enrique escribe cartas, pero no estudia matemáticas. Simbolizando seria:

¬p ∧ ¬r=¬(p ∨ r)

iv. No es cierto que Enrique estudia matemáticas o lee versos, pero no escribe cartas. Simbolizando seria: ¬(r ∨ q) ∧

¬p

2. Ejercicios 2: Construir la tabla de verdad de las siguientes proposiciones.

i. p→(q∧~p)

p q ~p (q∧~p) p→(q∧~p)

V V F F F

V F F F F

F V V V V

F F V F V

ii. [(𝑝→~𝑞)∧𝑞]→~𝑝

p q ~𝑞 ~𝑝 (𝑝→~𝑞) [(𝑝→~𝑞)∧𝑞] [(𝑝→~𝑞)∧𝑞]→~𝑝

V V F F F F V

V F V F V F V

F V F V V V V

F F V V V F V

iii. [(𝑝→𝑞)∧~𝑝]→𝑝

p q (𝑝→𝑞) ~𝑝 [(𝑝→𝑞)∧~𝑝] [(𝑝→𝑞)∧~𝑝]→𝑝

V V V F F V

V F F F F V

F V V V V F

F F V V V F

iv. [(~𝑝→~𝑞)∧((𝑝∧𝑞)→(𝑞→𝑝))]→~~~𝑞

Descargado por victor concepcion (victorinox421@gmail.com)

 lOMoARcPSD|38870608

p q ~𝑝 ~𝑞 (~𝑝→~𝑞) (𝑝∧𝑞) (𝑞→𝑝) ((𝑝∧𝑞)→(𝑞→𝑝)) [(~𝑝→~𝑞)∧((𝑝∧𝑞)→(𝑞→𝑝))] ~~𝑞 ~~~𝑞 [(~𝑝→~𝑞)∧((𝑝∧𝑞)→(𝑞→𝑝))]→~~~𝑞

V V F F V V V V V V F F

V F F V V F V V V F V V

F V V F F F F V F V F V

F F V V V F V V V F V V

3. Ejercicios 3: Determina si las proposiciones son tautologías, contradicción o contingencia.

i. (~𝑝→~𝑟)∨~𝑞 es una Contingencia

p r q ~𝑝 ~𝑟 (~𝑝→~𝑟) ~𝑞 (~𝑝→~𝑟)∨~𝑞
V V V F F V F V
V V F F F V V V
V F V F V V F V
V F F F V V V V
F V V V F F F F
F V F V F F V V
F F V V V V F V
F F F V V V V V

La proposición completa puede ser verdadera o falsa según se le asignen distintos valores de verdad a sus

proposiciones.

ii. ~[~(𝑝→~𝑞)∧𝑟] es una Contingencia

p q r ~𝑞 (𝑝→~𝑞) ~(𝑝→~𝑞) ~(𝑝→~𝑞)∧𝑟 ~[~(𝑝→~𝑞)∧𝑟]

V V V F F V V F
V V F F F V F V
V F V V V F F V
V F F V V F F V
F V V F V F F V
F V F F V F F V
F F V V V F F V
F F F V V F F V

La proposición completa puede ser verdadera o falsa según se le asignen distintos valores de verdad a sus

proposiciones.

iii. [(~𝑝∧~𝑞)∨𝑟→~𝑟→𝑝] es una Contingencia

Descargado por victor concepcion (victorinox421@gmail.com)

 lOMoARcPSD|38870608

p q r ~𝑝 ~𝑞 (~𝑝∧~𝑞) [(~𝑝∧~𝑞)∨𝑟] ~𝑟 ((~𝑝∧~𝑞)∨𝑟)→~𝑟 (((~𝑝∧~𝑞)∨𝑟)→~𝑟)→𝑝]

V V V F F F V F F V

V V F F F F F V V V

V F V F V F V F F V

V F F F V F F V V V

F V V V F F V F F V

F V F V F F F V V F

F F V V V V V F F V

F F F V V V V V V F

La proposición completa puede ser verdadera o falsa según se le asignen distintos valores de verdad a sus

proposiciones.

iv. (~𝑝∧~𝑞)→ (𝑟∨~𝑝) es una tautología.

p q r ~𝑝 ~𝑞 (~𝑝∧~𝑞) (𝑟∨~𝑝) (~𝑝∧~𝑞)→(𝑟∨~𝑝)

V V V F F F V V
V V F F F F F V
V F V F V F V V
V F F F V F F V
F V V V F F V V
F V F V F F V V
F F V V V V V V
F F F V V V V V

La proposición completa siempre es verdadera sin importar los valores de verdad que se le asignen.

Descargado por victor concepcion (victorinox421@gmail.com)