Symbols and Connectives

The simple language of logic

Let’s start by creating a simple language of modern logic. We know that a useful language has to, minimally, have a syntax and a way to resolve the meaning of syntactically correct sentences. This lesson will detail the syntax and show how to resolve the truth values (meaning) of correct propositional logic sentences through truth tablesA truth table is a mathematical table used to determine if a compound statement is true or false..

Fundamental unit

In this logic, the most basic element is a complete sentence. However, these sentences are limited to propositions.

Propositions

Each proposition is represented as a symbol, typically using alphabets such as $a,b,c,...,p,q,r,..., x,y,z$. If there’s a need to use more than $26$ propositions, they can have names like $a123$ ...