Documente Academic
Documente Profesional
Documente Cultură
CODIGO: 1102845198
TUTOR
INGENIERIA DE SISTEMAS
LOGICA MATEMATICA
SINCELEJO-SUCRE
2018
INTRODUCCION
La lógica matemática es una materia que es parte de la educación y preparación académica del
estudiante especialmente del estudiante universitario, la que nos permite ordenar nuestros
pensamientos e ideas, permitiéndonos tener una percepción diferente de los objetos que vemos y
de los términos que escuchamos, nos lleva a renunciar muchas veces al conocimiento empírico
con el que fuimos educados, pues nos enseña a analizar antes de emitir un juicio sobre
determinado objeto o prejuicio .El trabajo que hoy ponemos a su disposición consiste en el
estudio y análisis del pensamiento lógico, tablas de verdad, inferencia y las leyes de inferencia.
Ejercicio 1: Conceptualización de las reglas de inferencia.
Chávez, C. P. (2000). Compendio de lógica: Larousse - Grupo Editorial Patria. (pp. 163-
166)
Lógica inferencial
razonamientos lógicos
inferencia lógica
Lenguaje simbólico: p v q ¬𝒒
Ejercicio 3: Razonamiento Deductivo e Inductivo
Arredondo, C. J., & Escobar, V. G. (2015). Lógica: temas básicos. Distrito Federal,
desempeño. Jugó contra la selección de Grecia, Costa de Marfil, Japón, Uruguay y Brasil,
de los cuales, ganó 4 encuentros y perdió uno en cuartos de finales. Por lo tanto, si este
año, en el mundial de Rusia 2018, Colombia juega con la misma línea de jugadores y
A partir del razonamiento que haya seleccionado, deberá dar respuesta a los siguientes ítems:
Porque según el mundial de Brasil en el año 2014, la selección Colombia mostro un buen
desempeño y esto nos habla de forma particular y luego se concluye que Por lo tanto, si
este año, en el mundial de Rusia 2018, Colombia juega con la misma línea de jugadores y
contra los mismos equipos, les ganará nuevamente y nos habla de forma general por lo
cual es deductivo
Premisas
P1: 𝒑 → (𝒒 ∨ 𝒓)
P2: 𝒔 →∼ 𝒒
P3: 𝒕 →∼ 𝒓
P4: 𝒑 ∧ 𝒕
Conclusión: 𝑞
Definir las proposiciones simples, tendrá la libertad de definirla bajo una descripción basada
proposiciones simples deben ser de autoría de cada estudiante, por lo que de encontrar
proposiciones iguales entre estudiantes se considerara como copia y se tomaran las medidas
Generar una tabla de verdad con el simulador Truth Table a partir del lenguaje simbólico (El
T T T T T T
T T T T F T
T T T F T T
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
Demostracion por leyes de inferencia
P1 p →(q r)
P2. s → ~q
P3. t → ~ r
P4. P ∧ t
/∴q
________________________________________
5. t Simp. (4)
6. p Simp. (4)
CONCLUSIONES
Con este trabajo reforzamos los conocimientos adquiridos en la anterior unidad al dar uso de las
formas básicas de las tablas de verdad, los principios de lógica y los razonamientos lógicos para
Analizamos de forma individual la situación de cada problema sugerida en la guía por medio de