Gebruikershulpmiddelen
rekenvaardigheden:proposities
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
rekenvaardigheden/proposities.txt · Laatst gewijzigd: 2014/04/15 22:15 (Externe bewerking)
Paginahulpmiddelen
Tenzij anders vermeld valt de inhoud van deze wiki onder de volgende licentie: CC Attribution-Share Alike 4.0 International
