Proposiciones y tablas de verdad

Hola a todos que tengan un buen dia, desde hoy todos los dias vamos a subir un tema nuevo de matematicas para que vayan aprendiendo y aumentando sus conocimientos espero les ayude con este mini curso diria yo, bueno muchas blabla bla y ahora si vamos a lo que venimos a aprender, les informo que tambien subire temas sobre la carrera de economia. Proposiciones y tablas de verdad Los objetivos de esta sección son los siguientes 1.        Distinguir los diferentes tipos de razonamiento usados en un lenguaje natural para la interpretación apropiada de un procedimiento lógico matemático. 2.        Comprender la importancia de la lógica simbólica en el estudio de los fundamentos de las matemáticas, logrando desarrollar un pensamiento analítico y crítico 3.        Comprender las proposiciones y su clasificación 4.        Generar una tabla de valores donde se puedan comprar dos o más proposiciones. La lógica es un procedimiento razonado que no acepta conclusiones erradas. Esto se puede lograr definiendo en forma estricta cada uno de los conceptos. Todo debe definirse de tal forma que no dé lugar a dudas o imprecisiones en la veracidad de su significado. Nada puede darse por supuesto. Por ejemplo, en el lenguaje ordinario, un enunciado u oración se puede definir como “una palabra o grupo de palabras que declara, pregunta, ordena, solicita o exclama algo”. Sin embargo, en lógica simbólica una oración tiene un significado mucho más específico y se llama proposición, que son los elementos fundamentales de la lógica.  Una proposición es un enunciado que sólo puede ser verdadero o sólo puede ser falso, El valor de verdad de una proposición es la cualidad de veracidad que describe adecuadamente la proposición. Este puede ser verdadero (1) o falso (0)  para comparar dos o más proposiciones utilizaremos una herramienta denominada tabla de verdad la cual es una representación de los posibles valores de verdad que podría tomar dos o más proposiciones. Las tablas de verdad sirven para mostrar los valores, las relaciones y los resultados posibles al realizar las operaciones lógicas por lo general se utilizan proposiciones del tipo compuestas las mismas que son proposiciones relacionadas con un conector lógico.