Las tablas de verdad son una herramienta mas del hombre.
Estas tablas se emplean en lógica para determinar los posibles valores de verdad de una expresión, o sea para validar un argumento...
Aqui estan las diferentes funciones empleadas en las tablas de verdad:
►Negación (¬),(~)
Consiste en cambiar el valor de verdad de una variable proposicional.
Es decir que si algo estaba verdadero lo hace falso y veciversa...
►Conjunción(V)
La proposición molecular será verdadera sólo cuando ambas variables proposicionales sean verdaderas, es decir que si algo esta falso, toda la expresion sera falsa...
►Disyunción("V" pero al reves)
La proposición molecular será verdadera cuando una o ambas variables proposicionales sean verdaderas, es decir que con que sea algo verdadero, toda la expresion sera verdadera...
►Condicional (→)
La proposición molecular será verdadera cuando se cumpla si es verdadero A entonces lo es B, es decir que lo que apunte la flecha sera lo que es la expresion, si apunta a verdadero, sera verdadero, y si apunta a falso, la expresion sera falsa...
Pero aqui hay una excepcion, la expresion sera verdadera si hay una doble falsedad...
►Bicondicional (↔, si y sólo si)
La proposición molecular será verdadera cuando ambas variables proposicionales tengan a la vez el mismo valor de verdad, lo que quiere decir que si hay 2 verdaderas sera verdadero, pero tambien si hay 2 falsedades sera verdadera...
► Disyunción exclusiva (V conuna raya encima)
La proposición molecular será verdadera sólo cuando una de las dos variables proposicionales sea verdadera, pero no las dos.
Esto simplemente nos dice que la expresion sera verdadera cuando las variables sean diferentes, o sea que cuando una sea falso y la otra verdadero...
No hay comentarios:
Publicar un comentario