Introduction
Logic is the branch of philosophy and mathematics that studies the principles and methods of correct reasoning. It deals with the structure, validity, and soundness of arguments, as well as the formal languages and systems that are used to represent and analyze them. Logic theory can be divided into two main types: formal logic and informal logic. Formal logic uses symbols and rules to manipulate and evaluate logical expressions, such as propositions, predicates, and quantifiers. Informal logic focuses on the natural language arguments that we encounter in everyday discourse, and examines their fallacies, biases, and rhetorical strategies.
Contents
Propositional Logic
First Order Logic