Dukondiĉa enkonduko

El Vikipedio, la libera enciklopedio
Saltu al: navigado, serĉo

En matematika logiko, dukondiĉa enkonduko estas la regulo de konkludo ke, se B sekvas de A, kaj A sekvas de B, tiam A se kaj nur se B.

Ekzemple, el la propozicioj "se hundo spiras, do ĝi vivas" kaj "se hundo vivas, do ĝi spiras", povas esti konkludite ke "hundo spiras se kaj nur se ĝi vivas".

Formale, dukondiĉa enkonduko estas la regula skemo

 A \to B \,
 \underline{B \to A}
 A \leftrightarrow B

Vidu ankaŭ[redakti | redakti fonton]