Scribd
Cargar
112 vistas6 páginas

Lógica Proposicional Demostración de Argumentos

Este documento presenta una introducción a la lógica proposicional y métodos de demostración. Explica conceptos básicos como proposiciones simples y compuestas, tablas de verdad y equivalencias lógicas. Luego proporciona ejercicios prácticos para identificar proposiciones en enunciados, construir tablas de verdad y demostrar equivalencias mediante dichas tablas.

Cargado por

Carolina Iannino
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 DOCX, PDF, TXT o lee en línea desde Scribd
112 vistas6 páginas

Lógica Proposicional Demostración de Argumentos

Este documento presenta una introducción a la lógica proposicional y métodos de demostración. Explica conceptos básicos como proposiciones simples y compuestas, tablas de verdad y equivalencias lógicas. Luego proporciona ejercicios prácticos para identificar proposiciones en enunciados, construir tablas de verdad y demostrar equivalencias mediante dichas tablas.

Cargado por

Carolina Iannino
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 DOCX, PDF, TXT o lee en línea desde Scribd

POLITÉCNICO INTERNACIONAL

LÓGICA PROPOSICIONAL DEMOSTRACIÓN DE ARGUMENTOS

PRESENTADO POR: YADY CAROLINA YANINI ESPINOSA

DISEÑO DE ALGORITMOS I (1508-I14)

TECNOLOGÍA EN DESARROLLO DE SOFTWARE Y APLICATIVOS MÓVILES

SEDE VIRTUAL

2021

pág. 1
INTRODUCCIÓN

Cuán importante es que como estudiante de Tecnología en Ingería de Software, comience


haciendo un recorderis con el fin de fortalecer los conocimientos acerca de la lógica
proporcional y los métodos de demostración de las mismas.

Es por eso que en esta primera actividad de la materia de “DISEÑO DE ALGORITMOS”


aparecen algunas proposiciones, representadas en las tablas de verdad.

Bien sabido es que, en el área de ingeniería se abordan estos temas que son un
componente que permiten crear estructuras lógicas para el desarrollo de un algoritmo en
un proceso de solución.

pág. 2
1) En cada una de las siguientes frases, identifique proposiciones simples
usando variables o símbolos proposicionales.

1. Si hoy es martes, entonces hoy no es miércoles.


2. Si llueve, entonces no iré a hacer mercado.
3. Me quedaré solo si tú te vas.
4. Me quedaré solo si tú no te vas.
5. No puedo terminar la tarea si no entiendo la demostración.
6. Está lloviendo, así que no puedo ir al pueblo.
7. No ha nevado, así que no puedo esquiar.

R/

r: Hoy es martes

q: Hoy es miércoles

p: Iré a hacer mercado

s: Llueve

t: Me quedaré solo si tú te vas

z: Puedo terminar la tarea

o: Entiendo la demostración.

i: Está lloviendo

e: Puedo ir al pueblo.

w: Ha nevado.

x: Puede esquiar.

pág. 3
2) Construye la tabla de verdad para cada una de las siguientes proposiciones
compuestas e indicar si son tautologías, contradicciones o contingencias:

p q p (p˄ p) (p˄ p)→q


v v f f v
v f f f v
f v v f v
f f v f v
A) (p˄ p) → q

R/ TAUTOLOGÍA.

B) p ↔ ( p ˅ q)

p q p˅q p↔ (p˅q)
v v v v
v f v v
f v v f
f f f v

R/ CONTINGENCIA.

C) (p ˄ r) ↔ (q ˄ q)

p q r ˅q (p˄ (q˄ (p˄ r) ↔ (q˄


r q)
r) q)
v v v f f f f v
v v f f v v f f
v f v v f f f v
v f f v v v f f
f v v f f f f v
f v f f v f f v
f f f v f f f v
f f f v v f f v

R/ CONTINGENCIA.

pág. 4
3) Usa tablas de verdad para demostrar las equivalencias siguientes.

A) p→ q ≡ ( q)→( p)

p q p→q
v v v
v r f
f v v
f f v

p q ( p) ˅q
p q
v v f f v
v f f v f
f v v f v
f f v v v
B) p→ q ≡ (
p) ˅q p q p→q
v v v
v f f
f v v
f f v

p q ( p) ˅q
p
v v f v
v f f f
f v v v
f f v v
C) (p↔ p) ≡
(q↔ q)

p (p↔ p?
p
v f f
f f f

p q (q↔ q)
v f f
f v f
pág. 5
4) Muestre que el siguiente razonamiento no es correcto (escriba el razonamiento
en lenguaje proposicional y compruébelo mediante tablas de verdad:

Si llueve Juan se queda en casa.


p q
Si Juan tiene tareas se queda en casa.
r q
Juan se quedó en casa. Entonces, Juan tiene tareas o está lloviendo.
q r p
(p→q) ˄ (r→q) → (r˅p)

p q r p→q r→q r˅p (p→q) ˄ (r→q) (p→q) ˄ (r→q)→(r˅p)


v v v v v v v v
v v f v v v v v
v f v f f v f f
v f f f v v f f
f v v v v v v v
f v f v v f v f
f f v v f v f f
f f v v v v v f

pág. 6

También podría gustarte