gaspersic/freeCodeCamp
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Added definition about contradiction (#30310)

Browse Source 
* Added definition about contradiction

* Update index.md
This commit is contained in:
mkoument
2018-11-24 03:37:41 +02:00
committed by Randell Dawson
parent 2cea1e1c66
commit 0aa89d91f0
1 changed files with 6 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
guide/english/logic/tautologies/index.md
View File

@ -4,6 +4,8 @@ title: Tautologies
## Tautologies
### Definition
In logic, a tautology is a statement that is true in every possible case. The opposite of a tautology is a contradiction, a statement being false in every possible cases.
Also, a formula is said to be a contradiciotn if every truth assignment to its component statements results in the formula being false.
### Example
<table>
<tr>
@ -52,6 +54,7 @@ The arrow simply means "implies". p implies p OR q, it can also mean <i>if...the
#### More Information:
<!-- Please add any articles you think might be helpful to read before writing the article -->
[Wikipedia Tautology (Logic)](https://en.wikipedia.org/wiki/Tautology_(logic))
[Youtube Truth Tables](https://www.youtube.com/watch?v=O0KbymjE7xU)
[Wikipedia Logic Symbols](https://en.wikipedia.org/wiki/List_of_logic_symbols)
- [Wikipedia Tautology (Logic)](https://en.wikipedia.org/wiki/Tautology_(logic))
- [Youtube Truth Tables](https://www.youtube.com/watch?v=O0KbymjE7xU)
- [Wikipedia Logic Symbols](https://en.wikipedia.org/wiki/List_of_logic_symbols)
- [Mathonline, Tautologies and Contradictions](http://mathonline.wikidot.com/tautologies-and-contradictions)