Trabajo grupal de calificación individual LÓGICA MATEMÁTICA
Enviado por aribego26 • 1 de Octubre de 2015 • Informe • 917 Palabras (4 Páginas) • 205 Visitas
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
LÓGICA MATEMÁTICA
Trabajo grupal de calificación individual No.1
GRUPO 42
Presentado por:
LUIS ALEXANDER HOYOS SOLANO
CODIGO:
90004
Tutor:
MIGUEL MONTES MONTAÑO
Director de curso
GEORFFREY ACEVEDO GONZÁLEZ
BARRANCABERMEJA-SANTANDER
OCTUBRE-2011
INTRODUCCION
Fase 1. Teoría de conjuntos [pic 2]
Expresión 1: (B-A) U (C n B)
Expresión 2 :(A∩ B ∩ C) U B
Fase 2. PRINCIPIOS DE LÓGICA
2.1: Expresiones lógicas y no lógicas
Nombre del estudiante | Son proposiciones lógicas: | No son proposiciones lógicas |
Luis Alexander Hoyos Solano | En la Unidad 1 de Ingeniería Electrónica, se establecen los conceptos de Ciencia, Ingeniería, tecnología y en especial Ingeniería Electrónica | Será importante tener claro estos conceptos |
Luis Alexander Hoyos Solano | En la educación a distancia, el tutor juega el papel de acompañante en el proceso de aprendizaje. | Quien debe preocuparse más porque el estudiante aprenda, el tutor o el mismo estudiante |
Luis Alexander Hoyos Solano | La Ciencia y la tecnología son particularmente importantes para el desarrollo de los mismos pueblos | Por favor, estudiemos para contribuir al desarrollo de nuestros pueblos |
Luis Alexander Hoyos Solano | Ingeniería Electrónica abarca un amplio espectro de tecnologías. | Tiene que ver algo la tecnología con la ingeniería Electrónica |
Luis Alexander Hoyos Solano | La Ingeniera Electrónica tiene que ver con los movimientos de los electrones y su control para fines útiles al hombre. Su campo de acción son los sistemas eléctricos con el énfasis en el manejo de señales eléctricas, acústicas, ópticas, y electromagnéticas usadas en funciones de medición, control, comunicaciones e informática. | ¿Sera bueno estudiar ingeniería Electrónica a distancia? |
2.2 A continuación se propone identificar los conectivos lógicos y proposiciones simples presentes en cada expresión, posteriormente plantearán una expresión equivalente en lenguaje simbólico:
Expresión | premisas | Lenguaje simbólico |
La tolerancia es necesaria para la paz | p = la tolerancia q = la paz | p q[pic 3] |
Ser tolerante es el camino hacia la paz. | p= Hay paz q= hay tolerancia | p q[pic 4] |
Para aprender matemáticas es necesario ser ordenado y constante. | p=aprender matemáticas q=Ser ordenado r=Ser constante | p (q Λ r ) [pic 5] |
Enseña a tus hijos a controlar sus impulsos y a desarmar su corazón y tendrán buena vida en la tierra. | p= Enseña a tus hijos a controlar sus impulsos q= desarmar su corazón r= tendrán buena vida en el tierra | ( p Λ q) Λ r |
Perseverancia, orden y amor por la tarea son cualidades de Ana. | p= perseverancia q= orden r= amor por la tarea s= cualidades de Ana | (p Λ q Λ r) s [pic 6] |
2.3 Tablas de verdad
{[(p → q) Λ (r → s)] Λ (p V r)} → (q V s)
p | q | r | s | { [ ( p → q ) | Λ | ( r → s ) ] | Λ | ( p V r )} | → | ( q V s ) |
v | v | v | v | v | v | v | v | v | v | v |
v | v | v | f | v | f | f | f | v | v | v |
v | v | f | v | v | v | v | v | v | v | v |
v | v | f | f | v | v | v | v | v | v | v |
v | f | v | v | f | f | v | f | v | v | v |
v | f | v | f | f | f | f | f | v | v | f |
v | f | f | v | f | f | v | f | v | v | v |
v | f | f | f | f | f | v | f | v | v | f |
f | v | v | v | v | v | v | v | v | v | v |
f | v | v | f | v | f | f | f | v | v | v |
f | v | f | v | v | v | v | f | f | v | v |
f | v | f | f | v | v | v | f | f | v | v |
f | f | v | v | v | v | v | v | v | v | v |
f | f | v | f | v | f | f | f | v | v | f |
f | f | f | v | v | v | v | f | f | v | v |
f | f | f | f | v | v | v | f | f | v | f |
[pic 7]
Respuesta: Esta proposición es una tautología
[(p → q) Λ (q → r)] → (p → r)
p | q | r | [ ( p → q ) | Λ | ( q → r )] | → | ( p → r ) |
v | v | v | v | v | v | v | v |
v | v | f | v | F | f | v | f |
v | f | v | F | F | v | v | v |
v | f | f | F | f | v | v | f |
f | v | v | v | v | v | v | v |
f | v | f | V | f | f | v | v |
f | f | v | V | v | v | v | V |
f | f | f | v | V | v | v | V |
...