Příspěvky uživatele
- 21. 11. 2014, 19:34 rozdíl historie -4 136 Pravdivost
- 20. 11. 2014, 22:41 rozdíl historie +10 Nutná pravda
- 20. 11. 2014, 22:39 rozdíl historie +4 571 N Nutná pravda Založena nová stránka s textem „* pravdivost bez ohledu na nás, naše znalosti * nelze falzifikovat * vypovídání '''de dicto''' - mluvíme o větě jako o celku; '''de re''' - mluvím…“
- 20. 11. 2014, 22:37 rozdíl historie +20 Portál:Filosofie logiky
- 20. 11. 2014, 22:34 rozdíl historie +3 742 N Paradoxy Založena nová stránka s textem „* za neproblematického použití běžně používaných a uznávaným metod dojdeme k nepřijatelnému závěru * můžeme-li v nějaké teorii formulova…“
- 20. 11. 2014, 22:13 rozdíl historie 0 Pravdivost →Zdroj
- 20. 11. 2014, 22:04 rozdíl historie +15 Portál:Filosofie logiky
- 20. 11. 2014, 21:57 rozdíl historie +1 379 Pravdivost →Nutná pravda
- 18. 11. 2014, 22:19 rozdíl historie +21 Lindenbaum-Tarského algebry →\mathcal{L}_n(P,\mathfrak{A})
- 18. 11. 2014, 22:18 rozdíl historie +1 Lindenbaum-Tarského algebry →\mathcal{L}_n(P,\mathfrak{A})
- 18. 11. 2014, 22:15 rozdíl historie +48 Lindenbaum-Tarského algebry
- 18. 11. 2014, 21:41 rozdíl historie +1 215 N Ideál Založena nová stránka s textem „Množina <math>\mathcal{I} \subseteq \mathcal{P}(X)</math> je ideál, pokud platí: # <math>\emptyset \in \mathcal{I}, X \notin \mathcal{I}</math> # <math>…“ aktuální
- 15. 11. 2014, 04:34 rozdíl historie +1 396 Lindenbaum-Tarského algebry
- 13. 11. 2014, 19:02 rozdíl historie +4 Filtr →Zdroje aktuální
- 13. 11. 2014, 19:02 rozdíl historie +11 Filtr
- 13. 11. 2014, 19:01 rozdíl historie +232 Filtr
- 13. 11. 2014, 18:46 rozdíl historie +1 096 N Filtr Založena nová stránka s textem „Množina <math>F \subseteq \mathcal{P}(X)</math> je filtr, pokud platí: # <math>\emptyset \notin F, X \in F</math> # <math>A, B \in F \rightarrow A \wedge…“
- 13. 11. 2014, 17:58 rozdíl historie +1 Portál:Struktury a algebry
- 13. 11. 2014, 17:57 rozdíl historie +128 Portál:Struktury a algebry
- 13. 11. 2014, 17:51 rozdíl historie +88 Booleova algebra