You are on page 1of 4

UNIVERSIDAD FRANCISCO GAVIDIA

FACULTAD DE INGENIERIA Y SISTEMAS


EJERCICIOS LGICA SIMBLICA-PARTE 1
CICLO 01- 2015
Asignatura: Lgica Proposicional
Horario: Virtual
Profesor: Ing. Mara Cristela Fuentes
e-mail: mfuentes@ufg.edu.sv

COLORADO MORALES

JULIO ROSEMBERG

Apellidos

Cdigo Carrera:

Grupo:
Aula: virtual

Nombres

Carne UFG: CM101203 Fecha: 08/03/2014

Firma

Calificacin:

INDICACIN: Resolver los ejercicios del libro de texto Introduccin a la Lgica de


Irving Copi individual o en equipo no ms de 4 estudiantes. Cada estudiante
alojar los ejercicios con nombres y apellidos completos y carn.
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
Roma es la capital de Espaa) v (Pars q: Roma es la capital de Espaa
es la capital de Francia. Roma es la
capital de Espaa).

SIMBLICAMENTE
(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 Espaa v P:Roma es la capital de Espaa
(Pars es la capital de Francia, Roma Q: Paris es la capital de Francia
es la capital de Espaa).
SIMBOLOGICAMENTE
P v ~(Q, P)
F v ~(V , F )
F v ~ (F)
FvF
F
EL ENUNCIADO ES FALSO

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 capital de R: Londres es la Capital de Inglaterra.
Inglaterra. Roma es la capital de
S: Roma es la Capital de Espaa
Espaa)].
SIMBOLOGICAMENTE
~[ (P v Q) v ~(~R~S) ]
~[ (F v V ) v ~(~V~F) ]
~[ (F) v ~(F) ]
~[ F v V ]
V
EL ENUNCIADO ES VERDADERO
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
SIMBOLOGICAMENTE
1. (A X) v (B Y)
( V, F ) v (V,F)
F v F
EL ENUNCIADO ES VERDADERO

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

3. [(A B)v (B A)]

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
[(A
P) v A]
{ [(A

P) v A]

P }

V
V
F
F

V
F
V
F

Av
P
V
V
V
F

La disyuncin es falsa solamente cuando el


antecedente A y el consecuente Q son tambin
falsos como se muestra en su tabla marcado con
el color rojo.

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 ambos el I v L
precio del petrleo.
2. No es el caso que o bien Egipto
disminuya
sus
aprovisionamientos o Jordania
pida ms ayuda a Estados
Unidos.

~ (E v J )

3. O bien Irn eleva el precio del v ( I ^ E) ~ (J ^ S )


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

a)

b)

CONECTIVO
Conjuncin

Disyuncin
i)

Inclusiv
a
El uno o el otro o
ambos

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

Condicional

d)

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 reilacin hipottica
entre 2 o mas 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

Conjuncin

Disyuncin
Inclusiva

Disyuncin
Exclusiva

p q

pv q

pvq

Condicional

Bicondiciona
l

pq

pq

Antecedente

Consecuente

~
Negacin

~P