UNIVERSIDAD FRANCISCO GAVIDIA

FACULTAD DE INGENIERIA Y SISTEMAS

EJERCICIOS LGICA SIMBLICA-PARTE 1
Trabajo Colaborativo
Asignatura: Lgica Proposicional Horario: Virtual Grupo: N01
Profesor: Ing. Mara Cristela Fuentes e-mail: mfuentes@ufg.edu.sv Aula: virtual

Ramos Mario Ernesto MER

Apellidos Nombres Firma
Cdigo Carrera: Carne UFG: RR104117 Fecha: 01/03/2017 Calificacin:

INDICACIN: Resolver los ejercicios tomados del libro de texto Introduccin a la Lgica de
Irving Copi, utilizando la Tabla de Conectivos Lgicos y Tablas de Verdad, una vez
finalizada, cada estudiante seleccionar procedimiento y respuesta correcta en Link
Contestar Actividad.

I. Cules de los siguientes enunciados son verdaderos?

ENUNCIADO SIMBOLOGA Y PROCEDIMIENTO
1. ~ (Pars es la capital de Francia p: Pars es la capital de Francia
q: Roma es la capital de Espaa
. Roma es la capital de Espaa) v
(Pars es la capital de Francia . SIMBLICAMENTE
~Roma es la capital de Espaa). ~ (p q) v (p ~q)
~ (V F) v (V V)
~ (F) v (V) V v V
V

EL ENUNCIADO ES VERDADERO

P=r: Roma es la capital de Espaa.

2. Roma es la capital de q: Paris es la capital de Francia.
Espaa v~ (Pars es la capital de

Francia . Roma es la capital de Simblicamente:

Espaa). 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 Pars es la capital de q: Paris es la capital de Francia.
Francia) v ~ (~Londres es la r: Londres es la capital de Inglaterra.
.
capital de Inglaterra ~Roma es s: Roma es la capital de Espaa.
la capital de Espaa)].
 Simblicamente:
~ [(~p v q) v ~ (~r ~s)]
~ [(~F v V) v~ (~V~F)]
~ [(V v V) v ~ (FV)]
~ [( V ) v ~ ( F )]
~ [( V ) v (~ F)]
~ [( V ) v ( V )]
~ [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, cules
de los siguientes son verdaderos?
ENUNCIADO SIMBOLOGA Y PROCEDIMIENTO
(AX) v (BY)
.
1. (A X) v (B . Y)
(VF) v (VF)
FvF
F
EL ENUNCIADO ES FALSO
~(X v Z) (~X v Z)
2. ~ (X v Z) . (~X v Z)
~(F v F) (~F v F)
~(F) (V v F)
VV
V

EL ENUNCIADO ES VERDADERO
~VV)v ~(VV)
.
3. ~ [(A B) v ~ (B . A)] ~(V) v ~(V)
~(V v F)
~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, Cules de los valores de verdad
de los siguientes enunciados se pueden conocer?
ENUNCIADO SIMBOLOGA Y PROCEDIMIENTO
1. A v P AvP
A=SIEMPRE VERDADERO
P=PUEDE SER VERDERO O FALSO.
VvV= V
V v F= V
VERDADERO
 2. [(P v (B . Y) ] v [(P v B) . (P v Y)]

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

IV. Usando las letras E, I, J, L y S para abreviar los enunciados simples Egipto disminuye
sus aprovisionamientos, Irn eleva el precio del petrleo, Jordania pide ayuda a
Estados Unidos, Libia aumenta el precio del petrleo y Saudiarabia compra otros
quinientos aviones de guerra, simbolice lo siguiente:
1. Irn y Libia aumentarn I L
ambos el precio del petrleo.

2. No es el caso que, o bien ~(E v J)

Egipto disminuya sus
aprovisionamientos o
Jordania pida ms ayuda a
Estados
Unidos.

3. O bien, Irn eleva el precio (IE) v ~ (J S)

del petrleo y Egipto
disminuye sus
aprovisionamientos o no es
el caso, que a la vez
Jordania pida ms ayuda
norteamericana y
Saudiarabia compre otros
quinientos aviones de
guerra.

TABLA DE CONECTIVOS LGICOS

CONECTIVO FUNCIN SMBOLO LECTURA
a) Conjuncin Juntar, Y, pero, mas, tambin,
Agregar, mientras, un, sin embargo
Adherir,
^ Tanto.como
(enunciados /no trminos ) & Aunque, adems
 b) Disyuncin Presentar alternativas u opciones
v A menos que, o,
i) Inclusiv
a La o en medio de las
El uno o el otro o proporciones simples. v
ambos
Presenta una sola opcin Nini..
ii) Exclusiva O bien o.
El uno o el otro pero no La o antes de la primera O bien..a menos que.
ambos proposicin y otra o en medio de O el uno el otro pero no
las proporciones. ambos
c) Condicional Presenta una reilacin hipottica
entre 2 o mas eventos que tengan Si ... entonces
una secuencia lgica. Se sigue que,
Es necesario que ocurra A Implica que,
(antecedente) para que suceda Contiene a
B (consecuencia)
d) Bicondicional Implica una relacin de igualdad o
de equivalencia Si y solo si
Equivalente

La Negacin Niega una preposicin, cambia o Es falso que
invierte el valor de verdad de una ~ No es el caso que
proposicin. No es cierto que
No ocurre que
No sucede que
Signos (){}[] Cuando existe una coma;
1. Agrupacin Determinan orden y prioridad de punto, y punto y coma,
los trminos
, . ; aislar la expresin siguiente
2. Puntuacin con signos de agrupacin.

TABLAS DE VERDAD

. v v ~
Disyuncin Disyuncin
Proposiciones Conjuncin
Inclusiva Exclusiva
Condicional Bicondicional Negacin

p q pvq
Antecedente Consecuente p .q pvq pq pq 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
EJERCICIO #2.

P B Y [(P v (B v [(P v . (P v
.Y)] B) Y)]
V V F V V F V V V V
F V F F F F F V F F
EL ENUNCIADO NO SE PUEDE DETERMINAR SI ES VERDADERO O FALSO.

EJERCICIO #3.

Q P ~ . [( v Q) . ~P)]
P
Q
V F F F F V V V V
F V V F V V F F F
EL ENUNCIADO ES FALSO