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.