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

 Vidu ankaŭ 

 Logika dukondiĉeco

Kategorio:Logiko
Kategorio:Reguloj de konkludo