Úvod do logiky: klasická predikátová logika

Investor logo

Warning

This publication doesn't include Faculty of Economics and Administration. It includes Faculty of Arts. Official publication website can be found on muni.cz.
Title in English [Introduction to Logic: Classical Predicate Logic
Authors

RACLAVSKÝ Jiří

Year of publication 2015
MU Faculty or unit

Faculty of Arts

Citation
Description The book "Introduction to Logic: Classical Predicate Logic" is the first part of an introduction to logic which is intended primarily for students in humanities and related subjects. The book presents not only the main information about propositional logic, whereas an accent is put on the notion of entailment. The reader is gradually introduced to techniques enabling investigation of semantic properties of formulas and methods of formal demonstration as well as their applications in the field of natural language. The book involves a number of practical examples; a great portion of them practise constructing negations, equivalents and checking arguments.
Related projects:

You are running an old browser version. We recommend updating your browser to its latest version.