Příspěvky uživatele 88.103.225.198
uživatele 88.103.225.198 diskuse kniha zablokování protokolovací záznamy protokol zneužití
11. 3. 2022
- 16:5211. 3. 2022, 16:52 rozdíl historie +15 Výroková logika →Odvozování
- 16:5211. 3. 2022, 16:52 rozdíl historie +12 Výroková logika →Odvozování
- 16:5011. 3. 2022, 16:50 rozdíl historie +602 Výroková logika →Odvozování
- 15:0211. 3. 2022, 15:02 rozdíl historie +14 Gabrielův roh →Matematická definice aktuální
- 14:5511. 3. 2022, 14:55 rozdíl historie +222 Gabrielův roh →Matematická definice
- 14:1111. 3. 2022, 14:11 rozdíl historie +172 Ostré uspořádání Bez shrnutí editace aktuální
- 14:0511. 3. 2022, 14:05 rozdíl historie +200 Uspořádání →Příklad
- 13:5511. 3. 2022, 13:55 rozdíl historie +611 Výroková logika →Pravdivost
- 13:3711. 3. 2022, 13:37 rozdíl historie −11 Výroková logika →Výroková formule
- 13:3511. 3. 2022, 13:35 rozdíl historie +616 Výroková logika →Výroková formule
- 13:1811. 3. 2022, 13:18 rozdíl historie +382 Predikátová logika prvního řádu →Odvozovací pravidla
- 13:0711. 3. 2022, 13:07 rozdíl historie +512 Peanova aritmetika →Axiomy
- 12:3111. 3. 2022, 12:31 rozdíl historie +332 Robinsonova aritmetika →Axiomy: slovní interpretace axiomů