Uživatel:Veronika.Kovrzkova

Veronika Kovrzková je studentka třetího ročníku Logiky na FF UK a správce tohoto oboru na WikiSofii.

Články

• Hilbertovský kalkul
• Bisimulace
• články v kategorii Filosofie logiky
  • Úvod do filosofie logiky
  • Výrazy ve větě
  • Pravdivost | Nutná pravda
  • Paradoxy: Paradox lháře | Grellingův paradox
  • Vyplývání
  • Možné světy
  • Problémy klasické logiky
• Booleova algebra | Filtr | Ideál | Rasiowé-Sikorského lemma