To można sobie tak skomplikować życie? Ja zrobiłbym to tak:
(~p->p)->p
1. ~p->p załozenie
2. ~p zał. dowodu nie wprost
3. p -C:1,2
sprzecznośc 2,3 ckd.
Może jestem w błędzie ale wygląda prosciej
Znaleziono 1 wynik
- 25 lut 2005, o 11:11
- Forum: Zbiory. Teoria mnogości
- Temat: aksjomatyczny system
- Odpowiedzi: 6
- Odsłony: 2716