Úvod do logiky: klasická výroková logika
Introduction to Logic: Classical Propositional Logic

Author(s): Jiří Raclavský
Subject(s): Logic, Syntax, Semantics, Philosophy of Language, Methodology and research technology
Published by: Masarykova univerzita nakladatelství
Keywords: Logic; Classical Propositional Logic; language; deriving propositional conjunctions from other propositional conjunctions;
Summary/Abstract: The book "Introduction to Logic: Classical Propositional 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 and equivalents and checking arguments.

• Details
• Contents