Matematické Fórum

Zdravím vás, na VŠ teď bereme dokazatelnost výrokové logiky. Mně to sice více méně jde, ale žádný zázrak pro to, abych vygeneroval, o co vás chci poprosit. Existuje nějaká sbírka, nebo stránky, nebo jiné materiály s řešenými příklady formálních důkazů? Nejde to náhodou někomu z vás tak dobře, že byste mi mohli vytvořit cca 20 příkladů důkazů i s řešeními, abych to mohl projít já a poskytnout i spolužákům - prostě ať se trošku naučíme myslet tak, jak se u dokazatelnosti má.

Stačí jednoduché příklady typu:

Mockrát děkuji :-)