Dukondiĉa enkonduko

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$

$\underset{\_}{B\to A}$

$A\leftrightarrow B$

Vidu ankaŭ

• Logika dukondiĉeco