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 de texto 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 los siguientes 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 …ver más…

2. No es el caso que o bien Egipto disminuya sus aprovisionamientos o Jordania pida más ayuda a Estados Unidos.

3. O bien Irán eleva el precio del petróleo y Egipto disminuye sus aprovisionamientos o no es el caso que a la vez Jordania pida más ayuda norteamericana y Saudiarabia compre otros quinientos aviones de guerra.

TABLA DE CONECTIVOS LÓGICOS
CONECTIVO
FUNCIÓN
SÍMBOLO
LECTURA
a) Conjunción
Juntar,
Agregar,
Adherir,
(enunciados /no términos )
•
^
&
Y, pero, mas, también, mientras, un, sin embargo
Tanto…….como……
Aunque, además
b) Disyunción
i) Inclusiva El uno o el otro o ambos

ii) Exclusiva El uno o el otro pero no ambos
Presentar alternativas u opciones

La “o” en medio de las proporciones simples.

Presenta una sola opción

La “o” antes de la primera proposición y otra “o” en medio de las proporciones.

v

v

A menos que, o,

Ni………ni………..
O bien…… o…….
O bien……..a menos que…….
O el uno ó el otro pero no ambos
c) Condicional

Presenta una reilación hipotética entre 2 o mas eventos que tengan una secuencia lógica.
Es necesario que ocurra “A” (antecedente) para que suceda “B” (consecuencia)




Si ... entonces …
Se sigue que,
Implica que,
Contiene a
d) Bicondicional
Implica una relación de igualdad o de equivalencia
↔



Si y solo si
Equivalente
La Negación

Niega una preposición, cambia o invierte el valor de verdad de una proposición.

~
Es falso que
No es