Professional Documents
Culture Documents
LOGICA MATEMATICA
TRABAJO COLABORATIVO
TUTOR
ALVARO BASTIDAS
2017
Universidad Nacional Abierta y a Distancia UNAD - Vicerrectora Acadmica y de Investigacin - VIACI
Escuela: Ciencias Bsicas Tecnologa e Ingeniera Programa: Ciencias Bsicas
Curso: Lgica Matemtica Cdigo: 90004
INTRODUCCION
En esta unidad se desarrollarn las temticas de leyes de inferencia y
razonamientos deductivos e inductivos como tambin se usara para apoyo de
este trabajo el Uso del simulador Truth Table y la tabla de verdad.
OBJETIVOS
General:
Especficos:
Analizar cada uno de los temas a desarrollar.
Identificar cada una de las leyes de inferencia y razonamiento deductivos.
Desarrollar los puntos propuestos siguiendo los enlaces propuestos en el
entorno del conocimiento.
Universidad Nacional Abierta y a Distancia UNAD - Vicerrectora Acadmica y de Investigacin - VIACI
Escuela: Ciencias Bsicas Tecnologa e Ingeniera Programa: Ciencias Bsicas
Curso: Lgica Matemtica Cdigo: 90004
Ejemplo 1: voy al parque o voy al cine ya que no voy al parque, por consiguiente,
voy al cine.
d: Voy al parque
h: Voy al cine
1. h
2.
1. h
2.
Doble Negacin
()
:
:
:
:
Adjuncin
Ejemplo1:
Ejemplo 2:
(Solo selecciona uno de los 5 ejercicios e informa en el foro cual escogi, para que
no sea escogido por otro integrante)
(P ) (Q (R S)) (S ) ( )
Premisas:
Premisa 1: (P )
Premisa 2: (Q (R S))
Universidad Nacional Abierta y a Distancia UNAD - Vicerrectora Acadmica y de Investigacin - VIACI
Escuela: Ciencias Bsicas Tecnologa e Ingeniera Programa: Ciencias Bsicas
Curso: Lgica Matemtica Cdigo: 90004
Premisa 3: (S )
Premisa 4: ()
Conclusin:
Universidad Nacional Abierta y a Distancia UNAD - Vicerrectora Acadmica y de Investigacin - VIACI
Escuela: Ciencias Bsicas Tecnologa e Ingeniera Programa: Ciencias Bsicas
Curso: Lgica Matemtica Cdigo: 90004
(P ) (Q (R S)) (S ) ( )
p q r s t (p (r (q (r s)) (p ) (q (s (p ) (q -r -t ( ) (p ) (q -p (p ) (q
) s) (r s)) ) (r (r s)) (s
(r s)) (s
s)) (s ) ( )
) ) ( )
V V V V V V V V V V V F F F F F V
V V V V F V V V V F F F V F F F V
V V V F V V V V V V V F F F F F V
V V V F F V V V V V V F V F F F V
V V F V V V V V V V V V F F F F V
V V F V F V V V V F F V V V F F V
V V F F V V F F F V F V F F F F V
V V F F F V F F F V F V V V F F V
V F V V V F V V F V F F F F F F V
V F V V F F V V F F F F V F F F V
V F V F V F V V F V F F F F F F V
V F V F F F V V F V F F V F F F V
V F F V V F V V F V F V F F F F V
V F F V F F V V F F F V V V F F V
V F F F V F F V F V F V F F F F V
V F F F F F F V F V F V V V F F V
F V V V V V V V V V V F F F F V V
F V V V F V V V V F F F V F F V V
F V V F V V V V V V V F F F F V V
F V V F F V V V V V V F V F F V V
F V F V V V V V V V V V F F F V V
F V F V F V V V V F F V V V F V V
F V F F V V F F F V F V F F F V V
Universidad Nacional Abierta y a Distancia UNAD - Vicerrectora Acadmica y de Investigacin - VIACI
Escuela: Ciencias Bsicas Tecnologa e Ingeniera Programa: Ciencias Bsicas
Curso: Lgica Matemtica Cdigo: 90004
F V F F F V F F F V F V V V F V V
F F V V V V V V V V V F F F F V V
F F V V F V V V V F F F V F F V V
F F V F V V V V V V V F F F F V V
F F V F F V V V V V V F V F F V V
F F F V V V V V V V V V F F F V V
F F F V F V V V V F F V V V F V V
F F F F V V F V V V V V F F F V V
F F F F F V F V V V V V V V V V V
Universidad Nacional Abierta y a Distancia UNAD - Vicerrectora Acadmica y de Investigacin - VIACI
Escuela: Ciencias Bsicas Tecnologa e Ingeniera Programa: Ciencias Bsicas
Curso: Lgica Matemtica Cdigo: 90004
Truth Table
p q r s t (pq)(q(rVs))(st)(rt)p
T T T T T T
T T T T F T
T T T F T T
Universidad Nacional Abierta y a Distancia UNAD - Vicerrectora Acadmica y de Investigacin - VIACI
Escuela: Ciencias Bsicas Tecnologa e Ingeniera Programa: Ciencias Bsicas
Curso: Lgica Matemtica Cdigo: 90004
T T T F F T
T T F T T T
T T F T F T
T T F F T T
T T F F F T
T F T T T T
T F T T F T
T F T F T T
T F T F F T
T F F T T T
T F F T F T
T F F F T T
T F F F F T
F T T T T T
F T T T F T
F T T F T T
F T T F F T
F T F T T T
F T F T F T
F T F F T T
F T F F F T
F F T T T T
F F T T F T
F F T F T T
F F T F F T
F F F T T T
F F F T F T
F F F F T T
F F F F F T
expression is a tautology
Universidad Nacional Abierta y a Distancia UNAD - Vicerrectora Acadmica y de Investigacin - VIACI
Escuela: Ciencias Bsicas Tecnologa e Ingeniera Programa: Ciencias Bsicas
Curso: Lgica Matemtica Cdigo: 90004
(Solo selecciona uno de los 5 ejercicios e informa en el foro cual escogi, para que
no sea escogido por otro integrante)
[( ) ( ~) ( )] ( )
Proposiciones simples.
Lenguaje Natural.
[( ) ( ~) ( )] ( )
[( ) ( ~) ( )] ( )
[() () ()] ()
() ()
()
Premisas.
P(1): [( )
P(2): ( ~)
P(3): ( )
P(4): ( )
Formula:
[( ) ( ~) ( )] ( )
P(1): ( )
P(2): ( ~)
P(3): ( )
P(4): ( )
P(5):
Universidad Nacional Abierta y a Distancia UNAD - Vicerrectora Acadmica y de Investigacin - VIACI
Escuela: Ciencias Bsicas Tecnologa e Ingeniera Programa: Ciencias Bsicas
Curso: Lgica Matemtica Cdigo: 90004
p q r s -s ( ( [( ) [( )
) ~ ) (
( ~)
( ~)
~) ( )] ( )] ( )
V v V V F V F F V F V V
V V V F V V V V F F F V
V V F V F V V V V V V V
V V F F V V V V F F F V
V F V V F F F F V F V V
V F V F V F V F F F F V
V F F V F F V F V F V V
V F F F V F V F F F F V
F V V V F V F F F F F V
F V V F V V V V F F F V
F V F V F V V V F F F V
F V F F V V V V F F F V
F F V V F V F F F F F V
F F V F V V V V F F F V
F F F V F V V V F F F V
F F F F V V V V F F F V
Truth Table
p q r s [(pq)(rs)(ps)](sq)
T T T T T
T T T F T
T T F T T
T T F F T
T F T T T
T F T F T
T F F T T
T F F F T
F T T T T
F T T F T
F T F T T
Universidad Nacional Abierta y a Distancia UNAD - Vicerrectora Acadmica y de Investigacin - VIACI
Escuela: Ciencias Bsicas Tecnologa e Ingeniera Programa: Ciencias Bsicas
Curso: Lgica Matemtica Cdigo: 90004
F T F F T
F F T T T
F F T F T
F F F T T
F F F F T
expression is a tautology
(Solo selecciona uno de los 5 casos e informa en el foro cual escogi, para que no
sea escogido por otro integrante)
CONCLUSIONES
REFERENCIA BIBLIOGRAFICA