yritä sitte ymmärtää;
"Lauselogiikassa tai-sanalle ei jätetä tulkinnanvaraisuutta, sillä disjunktion tai-ilmaisu tulkitaan aina iklusiiviseksi eli "toinen tai toinen tai molemmat"
"Logiikassa ei implikaation tapaan myöskään ekvivalenssin atomilauseilla tarvitse välttämättä olla keskenään mitään syy-yhteyttä"