Program Tarski's World a výuka jazyka predikátové logiky

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.

Klíčová slova

• Programme
• Tarski&apos
• s
• World
• Teaching
• Predicate
• Language