Abstrakt
V textu představujeme základní rysy, přednosti i nevýhody programu Tarski's World ve výuce logiky. Vizualizace přístupu k některým partiím výrokové a predikátové logiky umožňuje učinit krok od překladů vět přirozeného jazyka do formalizovaného jazyka až k aktivnímu používání symbolů predikátové logiky.
Program lze využít i v pokročilejších partiích logiky.