Inferencias logicas

Trabajo de unidad

FACULTAD : Ciencias Empresariales

ESCUELA :
Marketing y Dirección de Empresas

TEMA :
Temas tratados en la unidad
DOCENTE :
Felipe Piedra Caceda

CURSO :Habilidades Lógico Matemáticas

INTEGRANTES :
* Sandoval Gil Sofía
* Llocya Acosta Marco
* Cortez Méndez Lizbeth
* Ramírez Mendoza Milagros
* Gamarra Puelles Sandy



Pimentel, 04/ 05 /2011

Trabajo de Unidad
1. 5 ejemplos de proposiciones simples:* Carlos fuentes es un escritor
* Federico y Jaime son altos
* 8 es un numero primo
* Lima es la capital del Perú
* Nuestro héroe nacional Miguel Grau Seminario nació en Piura

2. 5 ejemplos de proposiciones:

* Mozambique es un país o una cuidad
* 120 es divisible por 3 y 5
* María es gorda o bien delgada
* Si Juan va al cine, es porque tiene dinero
*Las vitaminas y minerales son esenciales para los seres humanos

3. 1 ejemplo por cada expresión equivalente a un conectivo lógico:

A. Conjunción:

Sheyla estudia ingeniería ambiental e ingeniería empresarial

* Sheyla estudia ingeniería ambiental además ingeniería empresarial
* Sheyla estudia ingeniería ambiental al igual que ingeniería empresarial
* Sheyla estudiaingeniería ambiental tal como ingeniería empresarial
* Sheyla estudia ingeniería ambiental y también ingeniería empresarial
* Sheyla estudia ingeniería ambiental incluso ingeniería empresarial
* Sheyla estudia ingeniería ambiental tanto como ingeniería empresarial
* Sheyla estudia ingeniería ambiental igualmente ingeniería empresarial

B. Disyunción Inclusiva:

Mañana esmiércoles o mañana es jueves

* Mañana es miércoles o en todo caso mañana es jueves
* Mañana es miércoles a no ser que mañana sea jueves
* Mañana es miércoles o bien mañana es jueves
* Mañana es miércoles a menos que mañana sea jueves
* Mañana es miércoles salvo que mañana sea jueves

C. Disyunción Excluyente:

O María come o duerme.
* María come o solamente duerme
*María come o tan solo duerme
* María come o únicamente duerme
* María o bien come o bien duerme
* O solo María come o solo duerme

D. Implicación:
Cinthya esta enfadada entonces Argelia llego tarde.
* Cinthya esta enfadada en consecuencia que Argelia llego tarde
* Cinthya esta enfadada por consiguiente Argelia llego tarde
* Cinthya esta enfadada por lo tanto Argeliallego tarde
* Para que Cinthya esta enfadada es necesario que Argelia haya llegado tarde
* Ya que Cinthya esta enfadada entonces Argelia llego tarde

E. Biimplicación:

Abigail es feliz si y solo si Alejandro esta con ella.
* Abigail esta feliz siempre que y solo cuando Alejandro este con ella
* Abigail esta feliz solo cuando Alejandro esta con ella
* Abigail estafeliz cada vez y solo si Alejandro esta con ella
* Abigail esta feliz entonces y solo entonces Alejandro este con ella
* Abigail esta feliz siempre y cuando Alejandro este con ella.

F. Negación:
Leonardo no gano la competencia.
* Es negable que Leonardo gano la competencia
* No es verdad que Leonardo gano la competencia
* Es objetable que Leonardo gano la competencia* Es falso que Leonardo gano la competencia
* Es erróneo que Leonardo gano la competencia

Inferencias Lógicas
* Principales reglas y leyes de la lógica proporcional:

1. Regla del Modus Ponens (MP): A partir de la formula condicional y de su antecedente, se obtiene un consecuente.

A→B Ley de Modus Ponens (MP)
A
∴B...