El valor de verdad de la negación de una proposición es el contrario al valor de la
proposición. Esto es, si la proposición es verdadera su negación es falsa, y si la proposición es falsa, su negación será verdadera.
P ~P
V F
F V
El término de enlace “NO”, es el único que no conecta realmente dos
proposiciones, sin embargo, cuando a una proposición se le agrega un no se forma una proposición molecular y puede ser de dos formas:
v Externa v Interna
Externa: La presentación externa del “no” es cuando aparece fuera de la
proposición sobre la cual actúa
Conjución
La conjunción es la proposición compuesta que resulta de conectar dos
proposiciones, p y q, mediante el conectivo ^ Esta proposición compuesta de denota por p ^ q y se lee p y q. La tabla de verdad para el conectivo ^ está dada por p q p^q V V V V F V F V V F F F
Disyunción inclusiva La disyunción inclusiva o suma lógica es un conector lógico o una proposición lógica diádica, que se diseña usando la «o» en el sentido inclusivo con aclaraciones necesarias. La conjunción gramatical “o” señala la disyunción. Sin embargo se nota cierta ambigüedad, ya que puede captarse en dos sentidos: incluyente y excluyente. En el primer sentido, la disyunción platea que puede ocurrir una o ambas posibilidades.
b q aVb F F F V F V F V V V V V
El operador lógico disyunción exclusiva nos dice que dadas dos
proposiciones a y b, obtenemos un valor verdadero al aplicar el operador sí y solamente sí: La proposición a tiene un valor de verdad Verdadero y la proposición b un valor de verdad Falso. La proposición a tiene un valor de verdad falso y la proposición b un valor de verdad verdadero.
a b a←/→b F F F V F V F V V V V F
La condicional es la proposición compuesta que resulta de conectar dos
proposiciones, p y q, mediante el conectivo →
Esta proposición compuesta de denota por p→q y se lee p implica q.
En esta proposición compuesta, la proposición simple p se llama antecedente, mientras que la proposición simple q se llama consecuente. La tabla de verdad para el conectivo → está dada por p q p→q V V V V F F F V V F F V
La bicondicional es la proposición compuesta que resulta de conectar dos
proposiciones, p y q, mediante el conectivo ↔. Esta proposición compuesta se denota por p↔q y se lee p si y solo si q. La tabla de verdad para el conectivo p↔q está dada por
