Logical Implication
From one true
proposition we can derive other true propositions.
This is called logical Implication.
Examples
- From we can conclude .
- From we can conclude B.
If from we can conclude , then we write , which is equivalent to saying that is tautology.
More Examples
Find Logical implications
We can find logical implications in two ways:
- Using a truth table.
- Using a proof
Logical Implication Truth Table
Two methods to find logical implications using truth table.
- Method 1: Check the rows where LHS is
true
. - Method 2: Use the property