by Albert Major

Introduction to Logic

Atomic sentences

Basic building blocks out of which all other (more complex) sentences are built

Connectives

Negation

A sentence can be symbolized as ¬A if it can be paraphrased in English as ‘It is the not the case that ...’

Conjunction

A sentence can be symbolized as (A ∧ B) if it can be paraphrased in English as ‘Both ... and ...’, ‘... but ...’, or as ‘although ..., ....’

Disjunction

A sentence can be symbolized as (A ∨ B) if it can be paraphrased in English as ‘Either..., or ...’

Exclusive Or:

excludes possibility that both disjuncts are true