1

LOGICA

LOGICA

Integrante:
Arrieta Martínez Samuel Elías
López García Mateo
González Navarro Juan Diego

Lic.

Jonatá n André s Rodríguez Manrique

Corporación Universitaria Del Caribe – CECAR

Ingeniería en sistema
Sincelejo 2021
 2
LOGICA

Taller

1. Construye las tablas de verdad de las siguientes expresiones (Valor 2,5 puntos).

A) ~k ∨ p g) [(p ∨ ~q)] ∧ (p ∨ q)] → [s ∧ (q ∨ ~q)]

b) ~ (k ∨ p) h) [(p ∨ q)] ∧ (p ∨ s)] ↔ [s ∧ (p ∧ ~s)]

C) ~ (~k ∨ v) → ~u i) [(p ∨ ~q)] ∧ (p ∨ q)] ↔ ~s

d) (g ∧ t) → [u ∨ ~(g ∧ ~t)] j) ~[( p ∧ q) ∨ (r ∧ ~p] ∧ [( p ∨ q) ↔ ( p ∨ ~q)]

e) (g ∨ k) → [(s ∧ k) → g] k) (d ∨ c) ∧ (~d ∨ c) ∧ (d ∨ ~c) ∧ ( ~d ∨ ~c)

f) ~ (p ∧ q) ∨ ( p ∨ ~q) l) [( p ∨ q) ↔ ( p ∨ ~q)] ↔ [~(p ∧ q) ∧ ~p]

SOLUCION

A) ~k ∨ p

k p A) ~k ∨ p

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

b) ~ (k ∨ p)

k p (k ∨ p) ~ (k ∨ p)
V V V F
V F V F
F V V F
F F F V
 3
LOGICA

C) ~ (~k ∨ v) → ~u

k v u (~k ∨ v) ~ (~k ∨ v) → ~u
V V V V V
V V F V V d)
(g V F F F F ∧
t) gV u F t F(g ∧ t) (gF∧ ~t) (g ∧ t) → [u V
∨ ~(g ∧ ~t)] →
[u VF V V V V V VF VV ∨
VF V V F F F VV VV
~(g ∧
VF F F V V V VF VV
VF F F F F F VF VV
F V V F F V
F V F F g V
F F V F F V
F F F F F V
~t)]

e) (g ∨ k) → [(s ∧ k) → g]

g k s (g ∨ k) (s ∧ k) [(s ∧ k) → g] (g ∨ k) → [(s ∧ k) → g]
F F F F F V V
F F V F F V V
F V F V F V V
F F V V V V
V F F V F F V
V F V V F V V
V V F V F V V
V V V V V V V

f) ~ (p ∧ q) ∨ ( p ∨ ~q)

p q (p ∧ q) ~q ( p ∨ ~q) ~ (p ∧ q) ∨ ( p ∨ ~q)
F F F V V V
 4
LOGICA

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

g) [(p ∨ ~q)] ∧ (p ∨ q)] → [s ∧ (q ∨ ~q)]

p q s ~q (p ∨ ~q) (p ∨ q) [(p ∨ ~q)] ∧ (p ∨ q)] (q ∧^(~q)) [s ∧ (q ∨ [(p ∨ ~q)] ∧ (p ∨ q)] → [s ∧ (q

~q)] ∨ ~q)]

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

h) [(p ∨ q)] ∧ (p ∨ s)] ↔ [s ∧ (p ∧ ~s)]

p q s (p ∨ q) (p ∨ s) [(p ∨ q)] ∧ (p ∨ s)] (~s) (p ∧ ~s) [(p ∨ q)] ∧ (p ∨ s)] [(p ∨ q)] ∧ (p ∨ s)] ↔ [s ∧ (p
∧ ~s)]

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

i) [(p ∨ ~q)] ∧ (p ∨ q)] ↔ ~s

p q s (~q) (p ∨ ~q) (p ∨ q) [(p ∨ ~q)] ∧ (p ∨ q)] (~s) [(p ∨ ~q)] ∧ (p ∨ q)] ↔ ~s

F F F V V F F V F
F F V V V F F F V
 5
LOGICA

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

j) ~[( p ∧ q) ∨ (r ∧ ~p)] ∧ [( p ∨ q) ↔ ( p ∨ ~q)]

p q r (p∧ (~p (r ∧ (p∨ (r ∧ ~p) ∧[( p [( p ∧ q) ∨ (~q) [( p ∨

~[( p ∧ q) ∨ (r ∧ ~p)] ∧ [( p ∨ q) ↔
q) ) ~p) q) ∨ q) (r ∧ ~p)] ~q)]
( p ∨ ~q)]

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

k) (d ∨ c) ∧ (~d ∨ c) ∧ (d ∨ ~c) ∧ (~d ∨ ~c)

d c (d ∨ c) (~d) (~d ∨ c) (d ∨ c) ∧ (~d ∨ c) (~c) (d ∨ ~c) (d ∨ c) ∧ (~d ∨ c) ∧ (d ∨ ~c) ∧ (~d ∨ ~c)

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

2. Seleccione y extraiga un párrafo tipo expositivo o argumentativo (mínimo 200 palabras) de algún

Artículo o libro que esté relacionado con temáticas de su programa académico de formación. Para este

aspecto, incluya el material bibliográfico que se encuentre disponible en alguna de las bases de datos
 6
LOGICA

de la Biblioteca-CECAR (e-libro, Biblioteca Online ENI, Gale, Proquest, entre otras). Luego, indique

las proposiciones simples y a partir de ellas construya las posibles proposiciones compuestas que se

evidencian en el texto. Finalmente, represente las proposiciones compuestas utilizando la simbología

Lógica (referenciar la fuente y dirección electrónica de donde se extrajo el párrafo). (Valor 2,5 puntos)

SOLUCION

R/Un programa es una serie de órdenes o instrucciones ordenadas con una finalidad concreta que realizan una
función determinada. Todos estamos familiarizados con la ejecución de programas (editores de textos,
navegadores, juegos, reproductores de música o películas, etc.). Por regla general, cuando queremos ejecutar un
programa se lo indicamos al sistema haciendo doble clic sobre él, e incluso algunos usuarios más avanzados
ejecutan comandos desde un intérprete de comandos o consola. Si alguna vez has tenido la curiosidad de abrir
un programa con un bloc de notas o editor de texto te habrás dado cuenta de que aparece algo horrible en el
editor: una serie de símbolos ininteligibles (por los humanos). Eso es porque los programas están en binario,
que es el lenguaje que entienden las máquinas. Entonces te preguntarás: si al final de este libro seré capaz de
escribir programas, ¿podré entender esos códigos? La respuesta es no. en este libro vamos a aprender un
lenguaje de programación para escribir programas de manera entendible por los humanos, que luego
traduciremos al lenguaje máquina entendible por los ordenadores mediante otros programas llamados
“intérpretes” o “compiladores”.

ORACIONES SIMPLES:

R: Un programa es una serie de órdenes

p: instrucciones ordenadas con una finalidad concreta que realizan una función determinada.

T: cuando queremos ejecutar un programa se lo indicamos al sistema haciendo doble clic sobre él.

S: incluso algunos usuarios más avanzados ejecutan comandos desde un intérprete de comandos o consola.

G: en este libro vamos a aprender un lenguaje de programación para escribir programas de manera entendible
por los humanos

E: luego traduciremos al lenguaje máquina entendible por los ordenadores mediante otros programas llamados
“intérpretes” o “compiladores”.
 7
LOGICA

ORACIONES COMPUESTAS:

Un programa es una serie de órdenes o instrucciones ordenadas con una finalidad concreta que realizan una
función determinada.

(r ∨ p)

Por regla general, cuando queremos ejecutar un programa se lo indicamos al sistema haciendo doble clic sobre
él, e incluso algunos usuarios más avanzados ejecutan comandos desde un intérprete de comandos o consola.

⟷ ¿)

En este libro vamos a aprender un lenguaje de programación para escribir programas de manera entendible por
los humanos, que luego traduciremos al lenguaje máquina entendible por los ordenadores mediante otros
programas llamados “intérpretes” o “compiladores”.

g ∨(→e )

Moreno Pérez, J. (2015). Programación orientada a objetos. Madrid, RA-MA Editorial. Recuperado de
https://elibro-net.ezproxy.cecar.edu.co:2443/es/ereader/bibliocecar/106461?page=28.