Question

Identify the Law of Logic
$p\to q\equiv \sim p\vee q$

• A. Idempotent Law
• B. Conditional Law
• C. Involution Law
• D. Commutative Law

Answer 1

The correct option is B Conditional Law

$p$	$q$	$p\to q$	$\sim p$	$(\sim p)\vee q$
$T$	$T$	$T$	$F$	$T$
$T$	$F$	$F$	$F$	$F$
$F$	$T$	$T$	$T$	$T$
$F$	$F$	$T$	$T$	$T$

We can say that if $p$ ,then $q$ or $p$ implies $q$ .

'$\to$' is called a conditional operator.

So, the giving logical equivalence is the conditional law.