Vidi fonton por 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
:<math> A \to B \, </math>
:<math> \underline{B \to A} </math>
:<math> A \leftrightarrow B </math>

== Vidu ankaŭ ==

* [[Logika dukondiĉeco]]

[[Kategorio:Logiko]]
[[Kategorio:Reguloj de konkludo]]