Differenza tra Biconditional & Condizionali

condizionali e biconditionals sono entrambi i tipi di istruzioni di logica . Un condizionale è tipicamente scritto come A ' B , con una freccia singleheaded puntato verso B ; un bicondizionale - noto anche come materiale o bicondizionale logico - . è scritto A " B , con un doubleheaded freccia che punta in entrambe le direzioni Plain English equivalenti

Bilancio di logica sono versioni spesso precise ordinaria discorso , il condizionale è l'equivalente di " implica , " la dichiarazione logica A ' B significa dato che A è vera , è logico che B è anche vero il bicondizionale è l'equivalente di " uguale "
< . . br>
tabelle verità per condizionali e Biconditionals

La verità o la falsità delle affermazioni logiche sono spesso rappresentati in quelli che sono conosciuti come tabelle di verità . in una tabella di verità c'è una colonna per ogni dichiarazione atomico ( rappresentato da lettere : A , B , e così via) della dichiarazione logica complessiva , elencando ogni combinazione della loro verità e falsità , nonché la veridicità delle dichiarazioni composte :

Se A è vero e B è vero , sia il condizionale e bicondizionale sono vere

Se A è vera e B è falsa , sia il condizionale e bicondizionale sono false

Se A è falsa e B è vera , il condizionale è vero e il bicondizionale è falsa

Se A è falsa e B è falso , il condizionale ed il bicondizionale sono vere .

Implicazioni della condizionale e Biconditional

logica , è possibile dedurre parecchie altre relazioni astratte circa condizionali e biconditionals . Se il bicondizionale è vero, allora il condizionale deve essere vero . Tuttavia, se il condizionale è vero, il bicondizionale può essere vero o falso .
Esempio in cui il Condtional è vero e il Biconditonal è False

Un mezzo " tutti gli uomini sono mortali " e B significa " questo uomo è mortale ", quindi il condizionale , A ' B , è vero, perché se tutti gli uomini sono mortali , quest'uomo deve essere . Tuttavia, il bicondizionale , A " B , è falso , perché è possibile che questo uomo è mortale , ma un altro uomo non è .