Negation of implies

Stub grade: C

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!

Grade: C

This page requires cleaning up

Some aspect of this page is rather messy and it needs to be cleaned up
The message provided is:

A low grade as the content is and the page isn't important

Warning:That grade doesn't 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$		$A$	$\neg B$	$A\wedge(\neg B)$	$\neg(A\implies B)$
		T			T
	T	T
T				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$