EJERCICIOS LOGICA SIMBOLICA I 2015

UNIVERSIDAD FRANCISCO GAVIDIA
FACULTAD DE INGENIERIA Y sistemas
Ejercicios lógica simbólica
Ciclo 01- 2015
Asignatura: Lógica Proposicional

Horario: Virtual
Grupo:Profesor: Ing. Santos Adrián Gómez Hernández
e-mail: sgomez@ufg.edu.sv
Aula: virtual
Alumno 1:




Apellidos
Nombres
Firma
Código Carrera:
Carne UFG:
Fecha:
Calificación:

INDICACIÓN: Resolver losejercicios del libro de texto Introducción a la Lógica de Irving Copi, de forma individual. Cada estudiante alojará los ejercicios con los nombres completos y carné.

I. ¿Cuáles de los siguientesenunciados son verdaderos?


ENUNCIADO
SIMBOLOGÍA Y PROCEDIMIENTO
1. (París es la capital de Francia. Roma es la capital de España) v (París es la capital de Francia. Roma es la capital de España).Desarrollarlo acá:
(v.f) v (v.f)
f v f
F = Falso




2. Roma es la capital de España v (París es la capital de Francia. Roma es la capital de España).
Desarrollarlo acá:
(f v f) . (v . f)
V . V
V =verdadero





3. (Estocolmo es la capital de Noruega v París es la capital de Francia) v (Londres es la capital de Inglaterra. Roma es la capital de España).
Desarrollarlo acá:
[ (v . v) v (v . v)]
[ V v F]
F = 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)Desarrollarlo acá:
A
B
X
Y
(A.X)
V
(B.Y)
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
FALSO
2. (X v Z)  (X v Z)


Desarrollarlo acá:
X
Z
(XvZ)
.
(XvZ)
F
F
F
F
F
F
F
F
V
V
V
V
V
VV
V
V
V
V
V
verdadero
3.  [(A  B)v  (B  A)]


Desarrollarlo acá:
A
B
[( A^B)
V
(B.A)]
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
F
F
F
F
F
FALSO
III. Si sabemos que A y B son verdaderos y que X y Y sonfalsos, 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
1. A v P
Desarrollarlo...