離接命題りせつめいだい<りせつ>･めいだい

Logikdisjunktive Proposition