Ülalpool fikseeritud kokkuleppe kohaselt vaatleme kõiki tingimuslikke väiteid materiaalsete implikatsioonidena. Juhul kui tegemist oli tingivate väidetega, siis seda saab arvesse võtta lausete tõlgendamise käigus. Selguse mõttes kehtestatakse käesoleva õpiku raames lemmade kohta täiendav kokkulepe. Kui järgnevalt ... … kasutatakse termineid konstruktiivne lemma ja destruktiivne lemma, siis on tegemist ainult selliste lemmadega, mille puhul esineb mittevälistav disjunktsioon, selle rõhutamiseks võib öelda mittevälistav konstruktiivne lemma ja mittevälistav destruktiivne lemma; … kasutatakse termineid välistav konstruktiivne lemma ja välistav destruktiivne lemma ühise nimetusega tingiv-liigitav lemma, siis on tegemist ainult selliste lemmadega, mille puhul esineb välistav disjunktsioon. See kokkulepe kehtib üksnes käesoleva õpiku raames. Mujal üldiselt sellist eristust ei teha.
Ülalpool fikseeritud kokkuleppe kohaselt vaatleme kõiki tingimuslikke väiteid materiaalsete implikatsioonidena. Juhul kui tegemist oli tingivate väidetega, siis seda saab arvesse võtta lausete tõlgendamise käigus. Selguse mõttes kehtestatakse käesoleva õpiku raames lemmade kohta täiendav kokkulepe. Kui järgnevalt ... ... kasutatakse termineid konstruktiivne lemma ja destruktiivne lemma, siis on tegemist ainult selliste lemmadega, mille puhul esineb mittevälistav disjunktsioon, selle rõhutamiseks võib öelda mittevälistav konstruktiivne lemma ja mittevälistav destruktiivne lemma; ... kasutatakse termineid välistav konstruktiivne lemma ja välistav destruktiivne lemma ühise nimetusega tingiv-liigitav lemma, siis on tegemist ainult selliste lemmadega, mille puhul esineb välistav disjunktsioon. See kokkulepe kehtib üksnes käesoleva õpiku raames. Mujal üldiselt sellist eristust ei teha.