docoo
Conectores
En la lógica, así como en el lenguaje cotidiano una misma frase puede contener varias indicaciones, estas indicaciones, van unidas por conectores como "y" , "o", etc...
En la lógica proposicional son los siguientes:
  1. Negador (¬) Afecta solo a una premisa (monádico), cambia el valor de la premisa a $F$ si es $V$ y viceversa.
  2. Conjuntor ($\wedge $) Actúa sobre dos premisas y tiene el valor verdadero si ambas los son, en caso contrario sera falso
  3. Disyuntor ( $\vee $) Actúa sobre dos premisas y tiene el valor verdadero si una o ambas lo son en caso contrario será falso
  4. Conjuntor ($\veebar$) Actúa sobre dos premisas y tiene el valor verdadero si una sola de ellas lo es, en caso de ser las dos será falso.
    También se le conoce como xor
  5. condicional ($\rightarrow$) Actúa sobre dos premisas ordenadas, si la primera es verdadera y la segunda falsa entonces será falsa, en caso contrario será verdadera
  6. Bicondicional ($\leftrightarrow$) actúa sobre dos premisas, si ambas son verdaderas o falsas, ambas tienen el mismo valor entonces será verdadera, en caso contrario serán falsas.

Los conectores ($\leftrightarrow$) y ($\veebar$) se pueden expresar como combinación de los otros, luego no son imprescindibles.

  1. $ (p \leftrightarrow q) = (p \rightarrow q) \wedge (q \rightarrow p) $
  2. $ p \veebar q = (p \wedge q) \wedge ¬(p \wedge q ) $

--