Důkaz sporem, důkaz rozborem případů.
Tvrzení o tautologických důsledcích, nahrazování podformulí a další hrátky.
příklady
na příštím cvičení se bude psát test
