Publication at Faculty of Arts |
2006
Abstract
The text introduces basic properties, advanteges, and disadvantages of the programme Tarski's World. It brings a visualised approach to some parts of propositional and predicate logic and enables to teach an active use of predicate symbols.