Está en la página 1de 4

LA NEGACIÓN “NO”

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

p q p↔q
V V V
V F F
F V V
F F V