Local Attacks

1. Propositions, logical operations and compound propositional statements

• What is Propositions?

            A proposition (or statement) is a declarative statement that is either true (T) or false (F), but not both. 
            

Example: the cloud in sky, 3+1=4

• Axiom?

An axiom is a proposition that is assumed to be true (T) • Logical operation & Compound propositional statements.?

Many propositions are composite, that is, composed of sub-propositions and various connectives (see below). Such composite propositions are called compound propositions “and ,” and “or,” above are examples of connectives (logical operations)

p and q are propositional variables or (statement variables), that is, variables that represent propositions, just as letters are used to denote numerical variables Compound propositions can be constructed from other propositions using the following logical connectives: Negation: : ¬ Conjunction: ∧ Disjunction: ∨ Implication: → Biconditional: ↔