Diferença entre Biconditional & Condicionais

Condicionais e biconditionals são os dois tipos de declarações em lógica . A condicional é tipicamente escrito como A ' B, com uma seta apontada para singleheaded B; uma bicondicional - também conhecido como um material ou bicondicional lógico - . está escrito A " B, com uma seta apontando doubleheaded em ambas as direções Plain English Equivalentes

Demonstrações na lógica são versões muitas vezes precisas de comum discurso , a condicional é o equivalente aproximado de "implica ," a declaração lógica a B » , uma vez que a é verdadeiro , é lógico que B também é verdadeiro o bicondicional é o equivalente aproximado de " iguais "
< . . br>
tabelas verdade para Condicionais e Biconditionals

A verdade ou falsidade de declarações lógicas é muitas vezes representada em que são conhecidas como tabelas de verdade . em uma tabela verdade há uma coluna para cada instrução atômica ( representadas por letras : a, B, e assim por diante ) da declaração lógica global , listando todas as combinações de sua verdade e falsidade , bem como a veracidade das declarações compostos:

Se A é verdadeira e B é verdade , tanto a condicional e bicondicional são verdadeiras

Se A é verdadeira e B é falsa , tanto a condicional e bicondicional são falsas

Se A é falsa e B é verdade, a condicional é verdadeira eo bicondicional é falsa

Se A é falsa e B é falsa , o condicional ea bicondicional são verdadeiras.

Implicações da condicional e Biconditional

lógica, você pode deduzir várias relações abstratas gerais sobre condicionais e biconditionals . Se a bicondicional é verdadeira, então o condicional deve ser verdade. No entanto, se a condicional for verdadeiro , a bicondicional pode ser verdadeira ou falsa .
Exemplo em que a Condtional é verdadeira ea Biconditonal é falsa

se um meio "todos os homens são mortais " e B significa " este homem é mortal ", então a condicional , A ' B, é verdade, porque se todos os homens são mortais , este homem deve ser . No entanto, a bicondicional , A " B, é falso, porque é possível que esse homem é mortal, mas um outro homem não é.