Negation, conjunction, disjunction, implication, and biconditional are the five logical symbols.

**Negation**: A sentence such as ¬ P is called negation of P. A literal can be either Positive literal or negative literal.

**Conjunction**: A sentence which has ∧ connective such as, P ∧ Q is called a conjunction.

**Disjunction**: A sentence which has ∨ connective, such as P ∨ Q. is called disjunction, where P and Q are the propositions.

**Implication**: A sentence such as P → Q, is called an implication. Implications are also known as if-then rules. It can be represented as

If it is raining, then the street is wet.

Let P= It is raining, and Q= Street is wet, so it is represented as P → Q

**Biconditional**: A sentence such as P⇔ Q is a Biconditional sentence, example If I am breathing, then I am alive

P= I am breathing, Q= I am alive, it can be represented as P ⇔ Q.