Logica matematica

LOGICA MATEMATICA
TRABAJO COLABORATIVO # 1
FASE 3

TUTOR:
JOSE MANUEL RUEDA VILLALBA

Grupo: 90004_582

PRESENTADO POR:
MONICA MORALES RUSSO
C.C: 1064836602

UNIVERSIDAD NACIONALABIERTA Y A DISTACIA
UNAD

CEAD Medellín
Octubre 2 de 2010

Fase 3.

Conectivos lógicos, tablas de verdad, proposiciones, razonamiento deductivo

3.1 Construyan la tabla de verdad del siguienterazonamiento 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 ejerciciode la actividad seré más competente, luego, si practico seré más competente”
“Si practico “entonces” aprendo los detalles del ejercicio de la actividad,”y” si aprendo los detalles del ejercicio dela actividad “entonces” seré más competente, luego, si practico “entonces” seré más competente
3.1.1 Razonamiento con conectivos lógicos identificados:
1) si aprendo los detalles del ejercicio de laactividad seré más competente
2) practico seré más competente

3.1.2 Declaración de proposiciones simples:
Proposiciones simples
1) practico ( p )
2) aprendo los detalles de la actividades (q)
3) seré mas competente ( r )

3.1.3 Premisas y conclusión encontradas en el razonamiento lógico:
Premisas:
1. si practico, entonces Aprendo los detalles del ejercicio de la actividad.
2. siAprendo los detalles del ejercicio de la actividad entonces soy mas competente.
3. entonces si practico soy mas competente
3.1.4 Razonamiento lógico expresado en lenguaje simbólico:
Funciónlógica
Premisa 1: (p →q)
Premisa 2: (q →r)
Conclusión: (p→r)

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

[(p →q) ^ (q →r)]→ (p→r)
p q r p → q q → r p→r (p→r) ^ (q →r)[(p →q) ^ (q →r)→(p→r)]

v v v v v v v v
v v f v f f f v
v f v f v v f v
v f f f v f f v
F v v v v v v v
F v f v f v f v
F f v v v v v v
F f f v v v v v

3.2 Consulten las diferentes...