Ťahák – Logika a dôvodenie

Výrok je tvrdenie, o ktorom sa dá povedať, či je pravdivé. Všeobecné tvrdenie vyvráti jeden protipríklad.

Všetci majú → negácia: aspoň jeden nemá. Nikto nemá → aspoň jeden má.

Aspoň 5 → negácia: najviac 4. Najviac 5 → aspoň 6. Práve 5 → iný počet ako 5.

A a B → negácia: nie A alebo nie B. A alebo B → nie A a nie B.

Aspoň v jednej z dvoch množín: |A| + |B| − |A ∩ B| (prienik by sa inak počítal dvakrát).

V žiadnej množine: spolu − (|A| + |B| − |A ∩ B|). Len v A: |A| − |A ∩ B|.

Ak platí „ak A, tak B“, platí aj obmena „ak nie B, tak nie A“.

Obrátenie „ak B, tak A“ ani „ak nie A, tak nie B“ platiť nemusí.

Negácia „ak A, tak B“ je „A a nie B“.