Zbiory - dowód anon: Sprawdzić czy: A⊂(BuC) → A⊂B v A⊂C Jest to nieprawda i łatwo znaleźć przykład dla którego ta implikacja nie zachodzi, jednak jak to udowodnić bez podawania przykładu

ABC: jeśli to nieprawda to jak chcesz to udowodnić?

Blee: Toć jest to najczęściej wykorzystywany sposób dowodzenia nieprawdy −−− podanie kontrprzykładu.

anon: Ale czy można pokazać że jest to nie prawda bez podania kontrprzykładu

Adamm: nie, bo nie sprawdzamy czy jest nieprawda czy prawda, tylko tak naprawdę sprawdzamy czy jest to tautologia