operadores logicos
Sea a una proposición, la negación de a , representada simbólicamente por ¬a, es una nueva proposición, cuyo valor de verdad esta dado por la siguiente tabla de verdad.La negación se presenta con los términos gramaticales: "no","ni","no es verdad que","no es cierto que".
Definición 1.5 (Conjunción)
La proposición resultante será verdadera solamente cuando elvalor de verdad de ambas proposiciones es verdadero. La conjunción se presenta con los terminos gramaticales: "y","pero","mas",y signos de puntuación como: la coma, el punto, y el punto y coma.Definición 1.6 (Disyunción)
Sean a y b proposiciones, la disyunción entre a y b, representada simbolicamente por aѵb, es una nueva propocisión, cuyo valor de verdad esta dado por la siguiente tabla deverdad:
La proposición resultante será falsa solamente cuando el valor de verdad de ambas proposiciones es falso.
Definición 1.7 (Disyunción exclusiva)
Sean a y b proposiciones, la disyuncionexclusiva entre a y b, representada simbolicamente por aѵb, es una proposicion, cuyo valor de verdad esta dado por la siguiente tabla de verdad:
La proposicion resultante será verdadera cuandosolamente una de ellas sea verdadera. La disyunción se presenta con el termino gramatical "o","solo","solamente","o....,o...".
Definición 1.8(Condicional).
Se representa simbolicamente por a→b, es una nuevaproposicion, cuyo valor de verdad está dado por la siguiente tabla de verdad:
En la proposición a→b, a es el antecedente, hipotesis o premisa; b es el consecuente, conclusión o tesis; y laproposición resultante será falsa solamente cuando el valor de verdad del antecedente sea verdadero y el valor de verdad del consecuente sea falso.
En español, la proposición a→b se puede encontrar con lossiguientes términos gramaticales: "si a, entonces b", "a sólo si b", "a solamente si b", "b si a", "si a,b", "b con la condición que a", "b cuando a", "b siempre que a", "b cada vez que a ", "b...
Regístrate para leer el documento completo.