Logica matematica

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

LÓGICA MATEMÁTICA

ACTIVIDAD 6 TRABAJO COLABORATIVO

PRESENTADO POR

YOGEIRA MONROY AMARO

CODIGO: 23836228

GRUPO: 14

CEAD: YOPAL

TUTOR

NEVARDO ALONSO ALAYA

DIRECTOR DE CURSO

GEORFFREY ACEVEDO GONZÁLEZ

YOPAL CASANARE COLOMBIA, JULIO DE 2011

Introducción

En este trabajo están contenidos, los temas de la primera unidad, como son la teoría de conjuntos y operaciones entre conjuntos con sus respectivas características, también podemos encontrar algunos casos en los cuales se utilizan los conectivos lógicos y sus respectivas tablas de verdad, fue un poco difícil interpretar estos casos y aplicarlos en las tablas de verdad.

Aparecen las proposiciones lógicas aplicadas a oraciones que utilizamos diariamente y que generalmente no le prestamos la importancia suficiente ni tenemos en cuenta la diferencia entre proposiciones lógicas y las que no son proposiciones lógicas.

Podemos encontrar las leyes de inferencia y los diferentes razonamientos aplicados al programa de estudio.

Fase 1. Proposiciones Lógicas

Son proposiciones lógicas: No son proposiciones lógicas

Algunos de los egresados Sena obtienen trabajo con mayor facilidad Algunas personas obtienen empleo

Ningún automóvil pequeño puede transitar por terrenos ásperos y pantanosos Las flores son amarillas

Algunas personas que ingieren drogas son capaces de robar para conseguir dinero la lluvia cae sobre las plantas

Ninguna verdura que es cultivada de forma orgánica es nociva para la salud Los peces son del agua

Algunos delfines del amazonas son rosados Algunas personas cumplen años

Fase 2. Teoría de conjuntos

Para resolver este ejercicio te puedes ayudar del material de apoyo para la unidad 1.

PREGUNTA RESPUESTA

2 20

3 0

4 3

5 36

6 3

7 9

8 47

9 3

10 10

11 30

12 0

2.2 ¿Cuántos estudiantes incluyeron en su respuesta la pertinencia de contenidos?

A) 5 B) 10 C) 15 D) 20 E) ___

2.3 ¿Cuántos estudiantes eligieron sólo la pertinencia de contenidos?

A) 9 B) 8 C)7 D) 6 E) __0_

2.4 ¿Cuántos estudiantes incluyeron en su respuesta la actitud y la pertinencia de contenidos?

A) 9 B) 10 C)8 D) 22 E) _3__

2.5 ¿Cuántos estudiantes incluyeron en su respuesta la actitud o la pertinencia de contenidos?

A) 20 B) 25 C) 26 D) 36 E) ___

2.6 ¿Cuántos estudiantes eligieron más de un factor?

A) 20 B) 12 C) 10 D) 16 E) _3__

2.7 ¿Cuántos estudiantes eligieron únicamente dos de los factores mencionados?

A) 10 B) 16 C)9 D) 14 E) _9__

2.8 ¿Cuántos estudiantes eligieron menos de dos de los tres factores analizados?

A) 20 B) 19 C) 24 D) 25 E) _47__

2.9 ¿Cuántos estudiantes eligieron más de dos de los tres factores estudiados?

A) 26 B) 2 C)3 D) 0 E) ___

2.10 ¿Cuántos estudiantes no seleccionaron la pertinencia de contenidos?

A) 20 B) 30 C) 27 D) 32 E) __10_

2.11 ¿Cuántos estudiantes no seleccionaron la actitud?

A) 20 B) 30 C) 40 D) 50 E) ___

2.12 ¿Cuántos estudiantes seleccionaron más de tres factores?

A) 3 B) 5 C) 15 D) 25 E) _0__

Fase 3. Conectivos lógicos, tablas de verdad, proposiciones, razonamiento deductivo

3.1 Construyan la tabla de verdad del siguiente razonamiento lógico y comparen el resultado haciendo uso de uno de los siguientes simuladores:

“Si practico aprendo los detalles del ejercicio de la actividad, y si aprendo los detalles del ejercicio de la actividad seré más competente, luego, si practico seré más competente”

3.1.1. Razonamiento con conectivos lógicos identificados:

“Si practico aprendo los detalles del ejercicio de la actividad, entonces, si aprendo los detalles del ejercicio de la actividad seré más competente, si y solo si, practico seré más competente”

3.1.2. Declaración de proposiciones simples:

p= si practico los detalles del ejercicio de la actividad aprendo

q= si aprendo los detalles del ejercicio seré mas competente

r = seré mas competente

3.1.3. Premisas y conclusión encontradas en el razonamiento lógico:

Premisa 1: “Si practico aprendo los detalles del ejercicio de la actividad

.

.

3.1.4 Razonamiento lógico expresado en lenguaje simbólico:

premisa 1: si practico los detalles del ejercicio de la actividad aprendo

premisa 2: si aprendo los detalles del ejercicio seré mas competente

Premisa 3: seré mas competente

Premisa 1: p - q

Premisa 2: q - r

Conclusión: p - r

Tabla de verdad de la forma (premisa 1 ^ premisa 2) --> Conclusión:

Premisa 1

Premisa 2

Premisa 3 Conjunción de premisas

Conclusión (conjunción de premisas) --> Conclusión

P q r PQ QR PR (P-->Q) ^

( Q-->R) [(P-->Q) ^

(Q-->R)] --

>(P-->R) [(P-->Q) ^ (R-

->P)]-->(R--

>Q)

V V V V V V V V V

V V F V F F F V V

V F V F V V F V V

V F F F V F F V V

F V V V V V V V V

F V F V F V F V V

Verificación de la tabla anterior. Imagen de la función obtenida en la simulación:

Generador de tablas de verdad No.1:

http://turner.faculty.swau.edu/mathematics/materialslibrary/truth/

Generador de tablas de verdad No.2:

...