سورونه، معتبر استدلال او د دموارګان قوانین

«ټول» او «ځینې» سورونه بلل کېږي. د «د A ټول B دي» نفي «لږ تر لږه یو A شته چې B نه دی» ده او یو نقض مثال د «ټول» بیان د غلط ښودلو لپاره بس دی.

استدلال هغه وخت معتبر دی چې پایله یې هر ځل چې مقدمې سمې وي، حتماً سمه وي. له «که p نو q» او p نه q نتیجه اخیستلای شئ او له «که p نو q» او نه q نه، نه p. له q نه p ته یا له نه p نه نه q ته نه شئ تلای.

د دموارګان قوانین: د اتحاد مکمله د مکملو تقاطع ده، (A∪B)′ = A′∩B′ او (A∩B)′ = A′∪B′. «نه» «او» په «یا» او «یا» په «او» بدلوي.