Negation of implies

(Unknown grade)

This page is a stub

This page is a stub, so it contains little or minimal information and is on a to-do list for being expanded.The message provided is:

Formal logic pages to not exist!

Statement

Here is the truth table for implies, with the negation computed (the negation is simply $\neg(A\implies B)$ - so $\neg$ of whatever is in the $A\implies B$ column)

$A$	$B$	$A\implies B$	$\neg(A\implies B)$
		T
	T	T
T			T
T	T	T

It is easy to see that the negation of implies is the same as $A\wedge(\neg B)$

So to negate $A\implies B$ we require to have $A$ but not $B$