Академический Документы
Профессиональный Документы
Культура Документы
En este trabajo se desarrollará cuatro ejercicios donde se identificará las reglas de inferencia y
argumentos lógicos.
Objetivos
Generar tablas de verdad con el simulador Lógica UNAD a partir del lenguaje simbólico
Lógica Matemática:
disciplina que por medio de
técnicas, reglas y leyes busca
determinar la validez de un
argumento.
b. Un triángulo tiene tres lados, entonces la suma de los ángulos internos es 180º. Un triángulo
_______
A partir de rozamiento:
b. El 31 de octubre es el día de los niños, éste día se acostumbra que los niños pidan dulces por
Halloween ha aumentado por lo tanto la costumbre de sacar a los niños a pedir dulces se ha
perdido.
como el índice de robos de niños el día de Halloween ha aumentado, se deduce que la costumbre
b. Expresión simbólica.
Premisas:
P1: �∨�
P2: �⟶∼�
P3: ¬�→�
P4: ∼�
P5: �⟶�
Conclusión: �
A partir de la expresión simbólica, las premisas y la conclusión del argumento dadas, resolver:
r: tomar Transmilenio
Las proposiciones simples deben ser de autoría de cada estudiante, por lo que de
Maria sale de clase a las 10 pm o sale de clase a las 11 pm. Si Maria sale de clase a las 11 pm,
Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje
simbólico
llegar a una Tautología, ya que el lenguaje simbólico sin su resolución me resulta como una
contradicción, como se puede observar en el simulador abajo. Partiendo de este principio, saqué
el pantallazo como demostración y también para demostrar que se hizo imposible llegar a una
simbólica completa, con su respectiva resolución, lo cual resulta ser una Tautología.
Generar una tabla de verdad manualmente a partir del lenguaje simbólico
En este caso no es posible hacer la validez del argumento mediante las leyes de inferencia lógica,
ya que para que se puedan usar las leyes el resultado tiene que haber sido una Tautología.
Conclusión
Por medio de este trabajo aprendí sobre las diferentes reglas de inferencia y razonamiento
rasgos, pude concluir que aparte de utilizar la Lógica matemática para verificar la validez de un
argumento, también puedo utilizar el razonamiento deductivo e inductivo para tomar decisiones
Bibliografía
Pérez, A. R. (2013). Una introducción a las matemáticas discretas y teoría de grafos. Córdoba,
Arredondo, C. J., & Escobar, V. G. (2015). Lógica: temas básicos. Distrito Federal, MÉXICO: