排中律はいちゅうりつ<はい'ちゅう>･りつ3

LogikSatz vom ausgeschlossenen DrittenPrincipium exclusi Tertii