EJERCICIOS LOGICA SIMBOLICA PARTE 1 VIRTUAL 1

UNIVERSIDAD FRANCISCO GAVIDIA
FACULTAD DE INGENIERIA Y sistemas
Ejercicios lógica simbólica-PARTE 1
Ciclo 01- 2015
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: 08/03/2014
Calificación:

INDICACIÓN: Resolver los ejercicios del libro detexto Introducción a la Lógica de Irving Copi individual o en equipo no más de 4 estudiantes. Cada estudiante alojará los ejercicios con nombres y apellidos completos y carné.

I. ¿Cuáles de lossiguientes enunciados 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 deEspaña).


2. Roma es la capital de España v (París es la capital de Francia, Roma es la capital de España).


3. (Estocolmo es la capital de Noruega v París es la capital de Francia) v (Londres es lacapital de Inglaterra. Roma es la capital de España)].

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 YPROCEDIMIENTO
1. (A  X) v (B  Y)

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



Verdadero
3.  [(A  B)v  (B A)]

falso


III. Si sabemos que A y B son verdaderos y que X y Y son falsos, pero desconocemos losvalores 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
Siempre es verdadero sin importar el valorde verdad de P
2. (P v (B  Y) v [(P v B)  (P v Y)]

Si P es falso la expresion es falso
Si P es verdadero la expresion es verdadera


3. Q  (P v Q)  P

NO se puede saber

IV. Usando lasletras 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...