RESUMEN LOGICA PARTE 2 SHG 2015

INTRODUCCION A LA LOGICA
DE SISTEMAS

FACULTAD DE INGENIERIA EN
SISTEMAS DE INFORMACION

REPASO DE TEMAS DEL CURSO DE LOGICA DE SISTEMAS

Lic. Hernández Gabriel, Sebastián

REPASO DE TEMAS DE LOGICA

Método de Deducción
PRUEBA DE VALIDEZ
El razonamiento lógico se aplica en todas las actividades humanas, en las
actividades cotidianas:
Cuando defendemos nuestros puntos de vista
Al intentarconvencer a alguien de alguna idea
Para esto necesitamos usar los argumentos lógicos en forma
coherente y solo así seremos atendidos

Lic. Hernández Gabriel, Sebastián

REPASO DE TEMAS DE LOGICA
Técnicas de la tabla de verdad
Para esto debemos utilizar las proposiciones condicionales, en donde el
conjunto de premisas forman el antecedente y la conclusión el
consecuente.
Si el resultado es tautología seconsidera un razonamiento válido de lo
contrario será invalido.
Técnicas de la tabla de verdad

La conclusión se identifica a través de los términos “por lo tanto” , “Por
consiguiente”. La conclusión se separa de las premisas a través del
símbolo “ ∴ ” que significa “Luego o por lo tanto”, “En conclusión”, “En
donde”

Lic. Hernández Gabriel, Sebastián

REPASO DE TEMAS DE LOGICA
Técnicas de latabla de verdad
Se estructura la proposición condicional, cuyo antecedente es la
conjunción de las premisas y el consecuente es la conclusión:
(p → ¬ q) ∧ p →
¬q
ANTECEDENTE CONSECUENTE
Técnicas de la tabla de verdad
p

q

¬q

p→¬q

(p → ¬ q) ∧ p (p → ¬ q) ∧ p → ¬ q

v

v

f

f

f

v

v

f

v

v

v

v

f

v

f

v

f

v

f

f

v

v

f

v

Conclusión:
Es un razonamiento válido puesto que la tabla deverdad resulto ser
tautológica

Lic. Hernández Gabriel, Sebastián

REPASO DE TEMAS DE LOGICA
Técnicas de la tabla de verdad

Lic. Hernández Gabriel, Sebastián

REPASO DE TEMAS DE LOGICA
Reglas de Inferencia
La inferencia es la forma en la que obtenemos conclusiones en base a datos y
declaraciones establecidas.
Un argumento, por ejemplo es una inferencia, donde las premisas son los
datos oexpresiones conocidas y de ellas se desprende una conclusión.
Una inferencia puede ser: Inductiva, deductiva, transductiva y abductiva.
Inductiva (de lo particular a lo general)
Ejemplo
Un joven le dice a un amigo, tu todos los días dices mentiras, y el
contesta, no es cierto, ayer en todo el día no dije una sola mentira.
la inferencia inductiva es la ley general que se obtiene de la observación de
uno omás casos y no se puede asegurar que la conclusión sea verdadera en
general.

Lic. Hernández Gabriel, Sebastián

REPASO DE TEMAS DE LOGICA
Deductiva (de lo general a lo particular)
Ejemplo
se sabe que siempre que llueve hay nubes, concluimos que el día de hoy
que está lloviendo hay nubes.
Es deductiva cuando tenemos un caso que analiza todos los posibles resultados
y de acuerdo a las premisassólo hay una posible situación, en este caso
decimos que la situación única es la conclusión. Estamos seguros de que si las
premisas son verdaderas entonces la conclusión también lo es.
La inferencia deductiva es la única aceptada como válida en matemáticas
y computación para hacer comprobaciones y sacar conclusiones.
Transductiva (de particular a particular o de general a general)
Ejemplo
Un maestroque llega tarde durante los primeros días y concluimos que el
lunes siguiente también llegará tarde
sería de particular a particular

Lic. Hernández Gabriel, Sebastián

REPASO DE TEMAS DE LOGICA
Abductiva es semejante a la deductiva, también utiliza la estrategia de
analizar todas las posibilidades, pero en este caso hay varios casos que se
pueden presentar.
Ejemplo
si se sabe que siempre quellueve hay nubes y se sabe que hay nubes se
puede concluir que llueve, pero no se tiene la certeza, es necesario conocer
más información para poder verificar la validez
Modo Ponendo Pones (MPP)
Afirmar afirmando
Ejemplo
Si tengo apendicitis, entonces me deben extraer el apéndice y tengo
apendicitis, entonces me deben extraer el apéndice

Si tengo apendicitis, entonces me deben extraer el apéndice...