Nombre: Chantal de la Rosa

Matricula: 202006132

Materia: Lógica Computacional

Facilitador: Geury Guzmán

Fecha: 30/01/2021

1.- Hacer un resumen o ensayo corto acerca de la importancia de Lógica Computacional.

La lógica es una herramienta de razonamiento formal para la mayoría de las disciplinas de
la informática, especialmente las relacionadas con las matemáticas y la programación; la
lógica computacional es la misma que la lógica matemática aplicada a la informática.
La lógica computacional proporciona la capacidad de razonamiento necesaria para resolver
cualquier problema a través de los siguientes pasos: diseñar, desarrollar y mantener el
software.
Y cabe destacar que la lógica es la base de todo conocimiento en programación, porque
puedes aprender a escribir código para que la computadora pueda interpretarlo
correctamente. En otras palabras, puede comunicarse con las máquinas mediante un
aprendizaje de idiomas.
2.-Mapa conceptual, cuadro comparativo de las proposiciones simples y compuestas con
ejemplos

Proposiciones simples Proposiciones Ejemplos

compuestas

O proposiciones atómicas, O proposiciones “Hoy no es lunes” (~p), “Ella

poseen una formulación moleculares, poseen dos es abogada y viene de Irlanda”
 sencilla desprovista de términos unidos por un
negaciones y nexos, por lo nexo, o emplean
que constituyen un único negaciones dentro de su
término lógico. formulación, resultando en
estructuras más complejas.
(pˆq), “Llegué tarde porque
había mucho tráfico” (p→q),
“Comeré tortilla o me iré sin
almorzar” (pˇq).

Una proposición simple es Generalmente poseen más “El mundo es redondo”, “Las
aquella en la que no hay de un término, o sea, están mujeres son seres
operadores lógicos. O sea, formadas por dos humanos”, “Un triángulo
aquellas cuya formulación proposiciones simples entre tiene tres lados” o “3 x 4 =
es, justamente, simple, las cuales hay algún tipo de 12”.
lineal, sin nexos ni vínculo lógico
negaciones, sino que condicionante.
expresa un contenido de
manera sencilla.

3.-Debes incluir un resumen acerca de las proposiciones compuestas.

Las proposiciones compuestas están compuestos por dos o más declaraciones o
proposiciones simples y están entrelazados por partículas lógicas llamadas "conectores
lógicos".
Las proposiciones compuestas son aquellas que contienen ciertos operadores lógicos,
como negación, conjunción, disyunción, condición, etc. Suelen tener múltiples términos, es
decir, constan de dos proposiciones simples, y existe un cierto vínculo lógico condicional
entre ellas.

4.- Realizar los siguientes ejercicios

(P ꓥ Q)

P Q (P ꓥ Q)

V V (V)

V F F

F V F

F F F

(P ꓦ Q)

P Q (P V Q )

V V V

V F V
F V V

F F (F)

(P ↔ Q)

P Q (P ↔ Q)

V V V

F F V

(P → Q)

P Q (P → Q)

V V V

V F (F)

F V V

F F V

(P ꓥ Q) ↔ (P ꓦ Q )

P Q P&Q PvQ (P & Q) ↔ ( P V Q)

V V V V V

V F F V F

F V F V F

F F V F V

(P ↔ Q ) → (P → Q)

P Q (P ↔ Q ) (P → Q)

F F V V

F V F V
V F F F

V V V V

(P ꓥ Q) ~R

P Q R (P ꓥ Q) ~R

F F F F V

F F V F F

F V F F V

F V V F F

V F F F V

V F V F F

V V F V V

(P ꓦ Q) ↔ R

P Q R PvQ (P ꓦ Q) ↔ R

F F F F V

F F V F F

F V F V F

F V V V V

V F F V F

V F V V V

V V F V F

V V V V V

(P ↔ Q) →R

P Q R (P↔Q) (P↔Q)→R

F F F V V
F F V V V

F V F F V

F V V F V

V F F F V

V F V F V

V V F V F

V V V V V

(P → Q) ꓥ R

P Q R (P → Q) (P → Q) ꓥ R

F F F V F

F F V V V

F V F V F

F V V V V

V F F F F

V F V F F

V V F V F

V V V V V

((P ꓥ R) V Q) ↔ (P ꓦ Q)

P R Q (P^R) ((P^R))vQ) (P v Q) ((P ꓥ R) V Q) ↔ (P ꓦ Q)

F F F F F F V

F F V F V V V

F V F F F F V

F V V F V V V

V F F F F V F

V F V F V V V

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

((P ↔ Q) ꓥ ~R) → (P V Q)

P Q R (P ↔ Q) (~R) (P ↔ Q)ꓥ(~R) PvQ (P ↔ Q) ꓥ ~R) →

(P V Q)

F F F V V V F F

F F V V F F F V

F V F F V F V V

F V V F F F V V

V F F F V F V V

V F V F F F V V

V V F V V V V V

V V V V F F V V