Diferencia entre Bicondicional y Condicionales

Condicionales y bicondicionales son los dos tipos de declaraciones en la lógica. Un condicional normalmente se escribe como A 'B , con una flecha apuntando hacia singleheaded B; un bicondicional - también conocido como un material o bicondicional lógico - . está escrito A " B, con una flecha que señala doubleheaded en ambas direcciones Plain English equivalentes

declaraciones en la lógica son versiones a menudo precisas de ordinario discurso , el condicional es el equivalente aproximado de "implica , " la declaración lógica A ' B significa dado que A es verdadero , es lógico que B también es cierto el bicondicional es el equivalente aproximado de "iguales"
<. . br> tablas de verdad para Condicionales y bicondicionales

La verdad o falsedad de enunciados lógicos se representan a menudo en lo que se conoce como tablas de verdad . en una tabla de verdad hay una columna para cada sentencia atómica (representado por las letras : A, B, y así sucesivamente ) de la declaración de la lógica general , enumerando todas las combinaciones de su verdad o falsedad , así como la verdad de las sentencias compuestas :

Si A es verdadera y B es cierto , tanto el condicional y bicondicional son verdaderas

Si A es verdadera y B es falsa , tanto el condicional y bicondicional son falsas

Si A es falsa y B es cierto, el condicional es verdadera y el bicondicional es falso

Si A es falsa y B es falsa, el condicional y el bicondicional es verdadero .

Implicaciones de la condicional y bicondicional

En lógica , se puede deducir varias relaciones abstractas generales sobre los condicionales y bicondicionales . Si el bicondicional es verdadero, entonces el condicional debe ser verdad. Sin embargo , si la condición es verdadera, la bicondicional puede ser verdadera o falsa .
Ejemplo en el que el Condtional es verdadera y la Biconditonal es falso

Si un medio "todos los hombres son mortales ", y B significa " este hombre es mortal ", el condicional , A ' B, es cierto , ya que si todos los hombres son mortales , este hombre debe ser . Sin embargo, el bicondicional , A " B, es falso, ya que es posible que este hombre es mortal, sino otro hombre no lo es.