Dukondiĉa enkonduko

El Vikipedio, la libera enciklopedio

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

Vidu ankaŭ[redakti | redakti fonton]