===== Proposities =====

De propositielogica die hierin wordt besproken, vormt de basis voor het bepalen van waarden. 

=== Proposities ===
Een propositie is een bewering die waar of onwaar (true of false) is, maar niet beide.\\ 
Een bewering wordt ook wel een //assertie// genoemd.\\ 
\\ 
=== Logische operatoren ===

| Negatie | De ontkenning |  ¬p |
| Conjunctie | De samenstelling met behulp van een operator ( en ) | ∧ |
| Disjunctie | ( of ) | ∨ |
| Implicatie | impliceert of alleen als | → |
| Equivalentie | gelijkheid | ↔ |

| Tautologie | Een propositionele vorm waarvan de waarheidswaarde true is voor alle mogelijke waarden van de propositie-variablen. |
| Contradictie \\ //of// \\ Absuditeit| \\ Een propositionele vorm waarvan de waarheidswaarde false is voor alle mogelijke waarden van de propositie-variablen |
| Contingentie | De overige gevallen die geen tautologie of contradictie vormen |


=== Naslag ===


  * [[http://ocw.tudelft.nl/courses/technische-informatica/redeneren-en-logica/colleges/propositielogica/|TU Delft - Propositieslogica]]
  * [[http://ocw.tudelft.nl/courses/technische-informatica/redeneren-en-logica/literatuur/]]
  * [[http://users.telenet.be/wox/files/LaTeX/Logica.pdf]]
  * [[http://electronicsandbooks.com/eab1/manual/University/NL/TU%20Delft/198411%20A127A%20A127C%20Inleiding%20Mathematische%20Logica,%20Krijgsman%20[60].pdf|Inleiding Mathematisch Logica]]
  * [[http://more4u.be/rudydewever/wp-content/uploads/2013/05/Module-15-Logica-verzamelingenleer-functies-en-bewijstechnieken.pdf | Zomercursus Wiskunde - Logica, verzamelingenleer, functies en bewijstechnieken]]
  * [[http://www.pearsoneducation.nl/breukel/breugelant.html | Antwoorden Inleiding Theoretische Informatica ]]
  * [[http://www.fi.uu.nl/ctwo/lesmateriaaldir/ExperimenteelLesmateriaal/VWO%20Wiskunde%20C/Logisch%20Redeneren/redeneren_deel1.pdf]]
  * [[http://www.cs.ru.nl/~hubbers/courses/ws/]]