CONECTORES LÓGICOS
es un símbolo o palabra que se utiliza para conectar dos fórmulas bien formadas o sentencias (atómicas o moleculares), de modo que el valor de verdad de la fórmula compuesta depende del valor de verdad de las fórmulas componentes.
https://es.wikipedia.org/wiki/Conectiva_l%C3%B3gica
La conjunción es verdadera únicamente cuando
sus dos enunciados componentes son
verdaderos. En los demás casos, la conjunción es
falsa.
SE REPRESENTA
El símbolo de la conjunción es “&”,
DISYUNCIÓN
INCLUSIVA (O)
DEFINICIÓN:
la disyunción inclusiva es verdadera en
todos los casos, menos cuando los dos
enunciados componentes sean falsos.
SE REPRESENTA
El símbolo de la disyunción
inclusiva es “ V".
DISYUNCIÓN
EXCLUSIVA (O...o)
DEFINICIÓN:
la disyunción exclusiva es verdadera cuando
sus dos enunciados componentes tienen
valores veritativos diferentes, es decir, uno
verdadero y otro falso.
SE REPRESENTA
El símbolo de la disyunción
inclusiva es “ V".
NEGACIÓN (NO)
DEFINICIÓN:
la negación es verdadera cuando el
enunciado que afecta es falso y
viceversa.
SE REPRESENTA
El símbolo de la negación es “ ¬ ”
BICONDICINAL(
SI Y SÓLO SI)
DEFINICIÓN:
el bicondicional es verdadero cuando
los dos enunciados componentes son
verdaderos o falsos.
SE REPRESENTA
El símbolo del bicondicional es “ ↔ "
CONDICIONAL
(SI...ENTONCES)
DEFINICIÓN:
el condicional es verdadero en todos los
casos menos cuando siendo el antecedente
verdadero, el consecuente es falso.
SE REPRESENTA
El símbolo del condicional es “ → ”
TABLAS DE VERDAD
DEFINICIÓN
Los valores de verdad son las dos propiedades que
puede tener cualquier enunciado, considerando que
dicho anunciado es verdadero o falso, pero no ambas
cosas
EJEMPLO:
NOTAS:
Cuando los valores del operador principal
son todos verdaderos (TAUTOLOGIA)
Cuando los valores del operador principal son
todos falsos (CONTRADICCION)
Cuando los valores del operador tiene por lo
menos una verdad y una falsa
(CONTINGENCIA)