Tablas de Verdad
Para empezar debemos
de conocer los Símbolos de las conectivas:
NEGACIÓN: ¬,
se lee “No es
cierto que…”
CONJUNCION: ^,
se lee “… y…”
DISYUNCION: v,
se lee “… o…
CONDICIONAL: →,
se lee “si… entonces…”
BICONDICIONAL: ↔,
se lee “… si y solo si…”
La negación es
una conectiva lógica que transforma un enunciado en su opuesto lógico y se le
llama conectiva singular porque se aplica sobre un solo enunciado
Tabla de Verdad Negación
La conjunción es
una conectiva lógica que enlaza dos enunciados dando como resultado una fórmula
que será verdadera solamente cuando sus enunciados componentes son verdaderos
Tabla de verdad conjunción
La disyunción es
una conectiva lógica que enlaza dos enunciados dando como resultado una fórmula
que será verdadera solamente cuando al menos uno de sus enunciados componentes
es verdadero, siendo falsa cuando ambos son falsos
Tabla de Verdad Disyunción
La condicional es una
conectiva lógica que enlaza dos enunciados dando como resultado una
fórmula que será verdadera cuando el segundo enunciado sea verdadero o tenga el
mismo valor de verdad que el primero. Al primer enunciado involucrado se le
llama antecedente y al segundo se le llama consecuente
Tabla de Verdad Condicional
La doble condicional
o bincondicional es una conectiva lógica que enlaza dos enunciados
dando como resultado una fórmula que será verdadera solamente cuando sus
enunciados componentes tienen el mismo valor de verdad
Tabla de Verdad Bicondicional
No hay comentarios.:
Publicar un comentario