UNIVERSIDAD FRANCISCO GAVIDIA

FACULTAD DE INGENIERA Y SISTEMAS

EJERCICIOS DE LGICA SIMBLICA
CICLO 02-2016
Asignatura: Lgica Matemtica
Horario: N/A
Lgica Proposicional
Docente: Ing. Francisco J. Garay A. e-mail: fgaray@ufg.edu.sv
Alumno:
Apellidos

Nombres

Fecha:

Grupo:
Aula: Virtual
Carnet

Firma

Calificacin:

INDICACIONES: Resuelva los ejercicios siguientes de forma clara y ordenada, dejando desarrollado
el procedimiento en cada problema.
TRABAJE EN MANUSCRITO EN ESTE FORMATO, Y LUEGO CREE UN DOCUMENTO PDF DE SU TRABAJO.
I. Cul es el valor de verdad de cada uno de los siguientes enunciados? (10%).
ENUNCIADO
1) (Londres es la capital de Inglaterra v
Estocolmo es la capital de Noruega). (Roma
es la capital de Italia. Estocolmo es la capital
de Noruega).

PROCEDIMIENTO

2) [(Londres es la capital de Inglaterra.

Roma es la capital de Espaa). (Roma es la
capital de Espaa. Roma es la capital de
Espaa)].
II. Si A, B y C son enunciados verdaderos y X, Y y Z son enunciados falsos, cul es el valor
de verdad de cada uno de los siguientes enunciados? (10%).
ENUNCIADO
1) [(B C) v (C B)]

2) (A X) Y Z

PROCEDIMIENTO

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, cul es el valor de verdad para cada uno de los enunciados
siguientes? Construya una tabla para trabajar en cada problema. (15%).
ENUNCIADO

PROCEDIMIENTO

1) (P B) v P

2) (A v Y) (P v Q)

3) [(P B) Q] X

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. (15%).
ENUNCIADO
1) Irn y Libia no aumentarn el precio del
petrleo.

2) Si Argentina no se moviliza, entonces o bien

Brasil no protestar ante la ONU o Chile no
convocar a una reunin de los pases
latinoamericanos.
3) O bien Irn eleva el precio 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.

SIMBOLIZACIN

V. Use tablas de verdad y determine si cada una de las formas argumentales es tautolgica,
contingente o contradictoria. (10%).
1) q p
qp

2) p q
q
p

VI. Use tablas de verdad para determinar la validez o invalidez de cada uno de los siguientes
argumentos. (20%).
1) E F
FG
EG

2) A (B v C)
(B C) A
A

VII. Use tablas de verdad para determinar la validez o invalidez de cada uno de los siguientes
argumentos. Debe dejar indicada claramente la simbolizacin de cada argumento. (20%).
1) Si Grecia fortalece sus instituciones democrticas, entonces Hungra seguir una poltica ms
independiente. Si Grecia fortalece sus instituciones democrticas, entonces el partido comunista
italiano atraer cada vez menos votantes. Por tanto, si Hungra sigue una poltica ms
independiente, entonces el partido comunista italiano atraer cada vez menos votantes.

2) Si Japn sigue exportando capitales, entonces o bien Corea o Laos se industrializarn

rpidamente. Corea no se industrializar rpidamente. Se sigue que si Japn sigue exportando
capitales, entonces Laos se industrializar rpidamente.

TABLA DE CONECTIVOS LGICOS

CONECTIVO
a) Conjuncin

b)

Disyuncin
i)

Inclusiv
a
El uno o el otro o
ambos

ii) Exclusiva
El uno o el otro pero no
ambos
c)

d)

Condicional

Bicondicional

La Negacin

Signos
1. Agrupacin
2.

FUNCIN
Juntar,
Agregar,
Adherir,
(enunciados / no trminos )

SMBOLO

^
&

Presentar alternativas u opciones

LECTURA
Y, pero, mas, tambin,
mientras, un, sin embargo
Tanto.como
Aunque, adems
A menos que, o,

La o en medio de las
proporciones simples.

Presenta una sola opcin

La o antes de la primera
proposicin y otra o en medio de
las proporciones.
Presenta una relacin hipottica
entre 2 o ms eventos que tengan
una secuencia lgica.
Es necesario que ocurra A
(antecedente) para que suceda
B (consecuencia)
Implica una relacin de igualdad o
de equivalencia

Niega una preposicin, cambia o

invierte el valor de verdad de una
proposicin.

Determinan orden y prioridad de

los trminos

(){}[]
, . ;

Puntuacin

Nini..
O bien o.
O bien..a menos que.
O el uno el otro pero no
ambos
Si ... entonces
Se sigue que,
Implica que,
Contiene a

Si y solo si
Equivalente
Es falso que
No es el caso que
No es cierto que
No ocurre que
No sucede que
Cuando existe una coma;
punto, y punto y coma, aislar
la expresin siguiente con
signos de agrupacin.

TABLAS DE VERDAD
Proposiciones

Condicional

Bicondicional

Negacin

pvq

pq

pq

Conjuncin

Disyuncin
Inclusiva

Disyuncin
Exclusiva

p q

pvq

Antecedente

Consecuente

~P