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...") |
m |
||
| Line 1: | Line 1: | ||
| − | {{Stub page|Formal logic pages to not exist!}} | + | {{Stub page|grade=C|msg=Formal logic pages to not exist!}} |
| + | {{Requires cleanup|grade=C|msg=A low grade as the content is and the page isn't important}} | ||
==Statement== | ==Statement== | ||
Here is the [[truth table]] for [[implies]], with the negation computed (the negation is simply {{M|\neg(A\implies B)}} - so {{M|\neg}} of whatever is in the {{M|A\implies B}} column) | Here is the [[truth table]] for [[implies]], with the negation computed (the negation is simply {{M|\neg(A\implies B)}} - so {{M|\neg}} of whatever is in the {{M|A\implies B}} column) | ||
| Line 7: | Line 8: | ||
! {{M|B}} | ! {{M|B}} | ||
! {{M|A\implies B}} | ! {{M|A\implies B}} | ||
| + | ! style="min-width:3em;" | | ||
| + | ! {{M|A}} | ||
| + | ! {{M|\neg B}} | ||
| + | ! {{M|A\wedge(\neg B)}} | ||
! {{M|\neg(A\implies B)}} | ! {{M|\neg(A\implies B)}} | ||
|- | |- | ||
| Line 12: | Line 17: | ||
| | | | ||
| T | | T | ||
| + | | | ||
| + | | | ||
| + | | T | ||
| + | | | ||
| | | | ||
|- | |- | ||
| Line 18: | Line 27: | ||
| T | | T | ||
| | | | ||
| + | | | ||
| + | | | ||
| + | | | ||
| + | | | ||
|- | |- | ||
| T | | T | ||
| + | | | ||
| | | | ||
| | | | ||
| + | | T | ||
| + | | T | ||
| + | | T | ||
| T | | T | ||
|- | |- | ||
| Line 28: | Line 45: | ||
| T | | T | ||
| | | | ||
| + | | T | ||
| + | | | ||
| + | | | ||
| + | | | ||
|} | |} | ||
Latest revision as of 21:05, 17 November 2016
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:
Warning:That grade doesn't exist!
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 ¬(A⟹B) - so ¬ of whatever is in the A⟹B column)
| A | B | A⟹B | A | ¬B | A∧(¬B) | ¬(A⟹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∧(¬B)
So to negate A⟹B we require to have A but not B
