notas de programacion #7

+.+ Entrada formal +.+

Tablas de Verdad

-"Esta semana tuvimos examen de programacion, sin embargo había un lote de preguntas que trataban sobre resolver si una instrucción era verdad o mentira, entonces hice este post dedicado a eso"

Valores de verdad y operadores logicos

Una orden o preposición, siempre van a poseer un valor lógico, ya sea "verdadero" o "Falso", de aquí parten los operadores lógicos, estos ayudan a unir las proposiciones de distintas maneras y toman en cuenta el valor lógico de las preposiciones dadas para determinar que valor posee la nueva preposición. En si, las preposiciones son afirmaciones simples que son veridicas

Algunos ejemplos de preposiciones son:

+ El agua es transparente

+La química es una ciencia

+ 6-3=3

entre otras.

Negacion:

Cuando una preposición dada se niega, el valor lógico de esta pasa a hacer su opuesto, cuando se niega la verdad pasa a ser mentira y cuando se niega algo falso pasa a ser verdadero.

Unión:

Este operador se representa como "y" para unir a dos preposiciones, su peculiaridad es que si alguna de las preposiciones unidas es falsa, toda la oración final se vuelve automáticamente falsa, para que la oración final sea verdadera en una unión ambas preposiciones deben ser verdaderas.

Disyunción:

Es la contraparte de la Unión, suele representarse como "O", una disyunción es verdadera cuando al menos una de las 2 preposiciones usadas es verdadera, para que la disyunción sea falsa las 2 preposiciones deben ser falsas.

Condicional:

Esta operación esta representada como "Si... Entonces...", Para definir si una condicional es verdad o mentira, se debe de tomar en cuenta el orden de las preposiciones, en el único caso donde la Condicional es falsa será cuando la primer preposición es verdad y la segunda es falsa, ya que algo cierto no te va a llevar a algo falso. En el resto de los casos la Condicional será verdadera.

Bicondicional:

Por ultimo, la bicondicional es representada como "Si y solo si", una bicondicional será verdad cuando las 2 preposiciones usadas tengan el mismo valor lógico, ya sea que ambas sean verdad o ambas sean mentira, si las preposiciones usadas tienen distintos valores lógicos entonces la bicondicional será falsa.

Tabla de valores lógicos, las primeras 2 columnas de la izquierda son preposiciones, las siguientes 2 pertenecen a la negación, después siguen la Unión, La Disyunción, La Condicional y por ultimo la Bicondicional.