Difference between revisions of "Negation of implies"
From Maths
(Created page with "{{Stub page|Formal logic pages to not exist!}} ==Statement== Here is the truth table for implies, with the negation computed (the negation is simply {{M|\neg(A\implies...") |
(No difference)
|
Revision as of 21:47, 26 February 2016
(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 [ilmath]\neg(A\implies B)[/ilmath] - so [ilmath]\neg[/ilmath] of whatever is in the [ilmath]A\implies B[/ilmath] column)
[ilmath]A[/ilmath] | [ilmath]B[/ilmath] | [ilmath]A\implies B[/ilmath] | [ilmath]\neg(A\implies B)[/ilmath] |
---|---|---|---|
T | |||
T | T | ||
T | T | ||
T | T | T |
It is easy to see that the negation of implies is the same as [ilmath]A\wedge(\neg B)[/ilmath]
So to negate [ilmath]A\implies B[/ilmath] we require to have [ilmath]A[/ilmath] but not [ilmath]B[/ilmath]