UNIVERSIDAD FRANCISCO GAVIDIA

FACULTAD DE INGENIERIA Y SISTEMAS

EJERCICIOS LÓGICA SIMBÓLICA-PARTE 1
Trabajo Colaborativo
Asignatura: Lógica Proposicional Horario: Virtual Grupo:
Profesor: Ing. María Cristela Fuentes e-mail: mfuentes@ufg.edu.sv Aula: virtual

Apellidos Nombres Firma

Código Carrera: Carne UFG: Fecha: Calificación:

INDICACIÓN: Resolver los ejercicios tomados del libro de texto Introducción a la Lógica de
Irving Copi, utilizando la Tabla de Conectivos Lógicos y Tablas de Verdad, una vez
finalizada, cada estudiante seleccionará procedimiento y respuesta correcta en “Link
Contestar Actividad”.

I. ¿Cuáles de los siguientes enunciados son verdaderos?

ENUNCIADO SIMBOLOGÍA Y PROCEDIMIENTO
p: París es la capital de Francia
1. (París es la capital de Francia .
q: Roma es la capital de España
Roma es la capital de España) v (París
es la capital de Francia . Roma es la SIMBÓLICAMENTE
capital de España). (p • q) v (p • q)
 (V • F) v (V • V)
 (F) v (V)
VvV
V

EL ENUNCIADO ES VERDADERO
2. Roma es la capital de España v p: Roma es la capital de España

(París es la capital de Francia . Roma q: Paris es la capital de Francia

es la capital de España).
SIMBÓLICAMENTE
p v ~(q • p)
F v ~(V• F)
F v ~(F)
FvV
V

EL ENUNCIADO ES VERDADERO
3. [(Estocolmo es la capital de p: Estocolmo es la capital de Noruega
Noruega v París es la capital de q: París es la capital de Francia
Francia) v (Londres es la capital de
r: Londres es la capital de Inglaterra
Inglaterra . Roma es la capital de
España)]. s: Roma es la capital de España
 SIMBOLICAMENTE
~[(~p v q) v ~(~r • s)]
~[(~F v V) v ~(~V • F)]
~[(V v V) v ~(F • F)]
~[(V) v ~(F)]
~[V v V]
~[V]
F

EL ENUNCIADO ES FALSO
II. Si A, B y C son enunciados verdaderos y X, Y y Z son enunciados falsos, ¿cuáles
de los siguientes son verdaderos?
ENUNCIADO SIMBOLOGÍA Y PROCEDIMIENTO

.
1. (A X) v (B . Y) .
(A X) v (B . Y)
(V • F) v (V • F)
FvF
F

EL ENUNCIADO ES FALSO

2. (X v Z) . (X v Z) (X v Z) . (X v Z)

~(F v F) • (~F v F)
~(F) • (V v F)
~(F) • (V v F)
V•V
V

EL ENUNCIADO ES VERDADERO

.
3.  [(A B) v  (B . A)] .
 [(A B) v  (B . A)]
~[(V.V) v ~ (V.V)]
~[(V) v ~ (V)]
~[VvF]
~[V]
F

EL ENUNCIADO ES FALSO
III. Si sabemos que A y B son verdaderos y que X y Y son falsos, pero
desconocemos los valores de verdad de P y Q, ¿Cuáles de los valores de verdad
de los siguientes enunciados se pueden conocer?
 ENUNCIADO SIMBOLOGÍA Y PROCEDIMIENTO
 A v P AvP
VvV=V
VvF=V

EL ENUNCIADO ES VERDADERO

[(P v (B . Y)] v [(P v B) . (P v Y)]

 [(P v (B . Y) v [(P v B) . (P v Y)]
[(V v (V . F)] v [(V v V) . (V v F)]

[(V v (F)] v [(v) . (V)]

[(V)] v [(V)]
V

EL ENUNCIADO ES VERDADERO

~Q. [(P v Q) . ~P]

 Q . (P v Q) . P
[(VvV) . F]
[(V) . F]
[F]

EL ENUNCIADO ES FALSO

IV. Usando las letras E, I, J, L y S para abreviar los enunciados simples “Egipto
disminuye sus aprovisionamientos”, “Irán eleva el precio del petróleo”, ”Jordania
pide ayuda a Estados Unidos”, ”Libia aumenta el precio del petróleo” y
“Saudiarabia
compra otros quinientos aviones de guerra”, simbolice lo siguiente:
1. Irán y Libia aumentarán ambos
IvL
el precio del petróleo.
2. No es el caso que, o bien
Egipto disminuya sus
~ (E v J)
aprovisionamientos o Jordania
pida más ayuda a Estados
Unidos.
3. O bien, Irán eleva el precio del
petróleo y Egipto disminuye
 sus aprovisionamientos o no
es el caso, que a la vez (I • E) v ~ (J • S)
Jordania pida más ayuda
norteamericana y Saudiarabia
compre otros quinientos
aviones de guerra.

TABLA DE CONECTIVOS LÓGICOS

CONECTIVO FUNCIÓN SÍMBOLO LECTURA
a) Conjunción Juntar, • Y, pero, mas, también,
Agregar mientras, un, sin embargo
,
^ Tanto…….como…… Aunque,
Adherir, & además
(enunciados /no términos )
b) Disyunción Presentar alternativas u opciones A menos que, o,
i) Inclusiv
a La “o” en medio de las v
El uno o el otro o proporciones simples.
ambos
Presenta una sola opción v Ni………ni………..
ii) Exclusiva O bien…… o…….
El uno o el otro pero no La “o” antes de la primera O bien……..a menos que…….
ambos proposición y otra “o” en medio de O el uno ó el otro pero no
las proporciones. ambos
c) Condicional Presenta una reilación hipotética 
entre 2 o mas eventos que tengan Si ... entonces …
una secuencia lógica. Se sigue que,

Es necesario que ocurra “A” Implica que,
(antecedente) para que suceda  Contiene a
“B” (consecuencia)
d) Bicondicional Implica una relación de igualdad o ↔
de equivalencia Si y solo si
 Equivalente

• La Negación Niega una preposición, cambia o Es falso que
invierte el valor de verdad de una No es el caso que
~
proposición. No es cierto que
No ocurre que
No sucede que
• Signos (){}[] Cuando existe una “coma”;
1. Agrupación Determinan orden y prioridad de “punto”, y “punto y coma”, aislar
los términos
, . ; la expresión siguiente con
2. Puntuación signos de agrupación.

TABLAS DE VERDAD

Proposiciones
 v
Disyunción
v
Disyunción
→ ↔ ~
Conjunción Condicional Bicondicional Negación
Inclusiva Exclusiva

p q pvq
Antecedente Consecuente
p q pvq p→q p↔q P ~P
V V V V F V V
V F
V F F V V F F
F V F V V V F
F V
F F F F F V V