Conditional or Implies With an Example

In this class, We discuss Conditional or Implies With an Example.

The reader should have prior knowledge of connectives and truth tables. Click Here.

Conditional or Implies:

The symbol is ->

P -> Q

The condition implies it is if P, then Q.

If P is true, then Q has to be true.

The implied condition gives us when the P -> Q will be false.

If P is true and Q is False, P -> Q is false.

The below diagram shows the truth table for P -> Q.

The implied condition is not saying anything when P is false.

So when P is false, we place true for P -> Q.

We take an example and understand when to use P -> Q.

P: It is raining

Q: We do not play football.

If it is raining, then we do not play football.

The above statement says about if it is raining.

If raining then we do not play football.

The above statement is not saying anything about if it is not raining.

If not raining, we may play or may not play.

We write The above statement as P -> Q.