¡Descarga Ejercicios de logica simoblica y más Ejercicios en PDF de Lógica Matemática solo en Docsity!
UNIVERSIDAD FRANCISCO GAVIDIA FACULTAD DE INGENIERIA Y SISTEMAS EJERCICIOS LÓGICA SIMBÓLICA-PARTE 1 CICLO 02- 2015 Asignatura: Lógica Proposicional Horario: Virtual Grupo: Profesor: Ing. María Cristela Fuentes e-mail: [email protected] Aula: virtual Juárez Castellanos Katy Kassandra Apellidos Nombres Firma Código Carrera: Carne UFG: JC100312 Fecha: 19/09/2015 Calificación: INDICACIÓN: Resolver los ejercicios del libro de texto Introducción a la Lógica de Irving Copi, utilizando la Tabla de Conectivos Lógicos y Tablas de Verdad, ya sea individual o en equipo ; pero, cada estudiante alojará la tarea, colocando nombres, apellidos completos y número de 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 la capital de Francia. Roma es la
capital de España). p: París es la capital de Francia q: Roma es la capital de España SIMBÓLICAMENTE (p • q) v (p • q) (V • F) v (V • V) (F) v (V) V v V V EL ENUNCIADO ES VERDADERO
- Roma es la capital de España v
(París es la capital de Francia.
Roma es la capital de España). S: Roma es la capital de España p: Paris es la capital de Francia q: Roma es la capital de España SIMBOLICAMENTE s v (p • q) F v ~ (V • F) F v ~ ( F ) F v V V EL ENUNCIADO ES VERDADERO
- [(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)]. P: Estocolmo es la capital de Noruega Q: París es la capital de Francia R: Londres es la capital de Inglaterra S: Roma es la capital de España SIMBOLICAMENTE ~ [(~p v q) v ~ ( ~r • ~s)] ~ [(~F v V) v ~ ( ~V • ~F)] ~ [( V v V) v ~ ( F• V)] ~[ (V) v ~ (F)] ~( V v V ) ~ ( V) F EL ENUNCIADO ES 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) (A. X) v (B. Y)
(V • F) v (V • F) F v F F EL ENUNCIADO ES FALSO
2. (X v Z). (X v Z) (X v Z). (X v Z)
( F v F ). (F v F)
~(F) • (V v F) V • V V EL ENUNCIADO ES VERDADERO
3. [(A. B) v (B. A)] [(A. B) v (B. A)]
aprovisionamientos o Jordania pida más ayuda a Estados Unidos.
- 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. ( I • E) v ~ (J • S) 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 el caso que No es cierto que No ocurre que No sucede que Signos
_1. Agrupación
- Puntuación_
Determinan orden y prioridad de los términos ( ) { } [ ]
Cuando existe una “coma”; “punto”, y “punto y coma”, aislar la expresión siguiente con signos de agrupación. TABLAS DE VERDAD
Proposiciones
Conjunción v Disyunción Inclusiva v Disyunción Exclusiva → Condicional ↔ Bicondicional ~ Negación
p
Antecedente
q
Consecuente
p q p v q
p v q
p→q p ↔ q P ~P
V V V V F V V
V F
V F F V V F F
F V F V V V F
F V
F F F F F V V
