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 ”
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 è .