Propositie Logica Flashcards
Wat is een Test / Boolean expressie / propositie
Wat zijn Complexere tests / samengestelde proposities
Wat zijn de Logische operatoren in de Formele Logica
Betekenis van de operatoren ∧ ∨ ¬
Betekenis van de operatoren → ↔
Maak een waarheidstabel voor (p→q) ∧ (q→p)
Maak een waarheidstabel voor (pvq) ∧ (q→p)
Maak een waarheidstabel voor (𝑝→𝑞) ∧ (𝑟∨𝑝)
Maak een waarheidstabel voor (𝒑→𝒓) ∧ (𝒒→𝒓)
Wat is Tautologie
Dit is een propositie waarvan de hele kolom in een waarheidstabel alleen uit T bestaat. Hij is dus onder alle omstandigheden waar. Voorbeeld: 𝒑∨¬𝒑
Hoe vereenvoudigen van ingewikkelde tests
not (a>4 and not b>2) or b>2
a <= 4 or b>2
(a>4) <= (b>2)
Deze drie tests zijn equivalent, d.w.z. ze leveren altijd dezelfde waarde op, ongeacht de waarden die a en b van tevoren gekregen hebben.
Hoe kun je de ene vorm uit de andere afleiden?
We vertalen eerst naar formele logica: kort (a>4) en (b>2) af tot p en q.
Dan staat er:
¬ (𝑝 ∧ ¬𝑞)∨ 𝑞
¬𝑝 ∨ 𝑞
𝑝→𝑞
Wat is Equivalentie van proposities
Contradictie
Dit is een propositie waarvan de hele kolom in een waarheidstabel alleen uit F bestaat. Hij is dus onder alle omstandigheden onwaar. Voorbeeld: 𝒑∧¬𝒑
Contingentie
Dit is een propositie waarvan de kolom in een waarheidstabel zowel T als F bevat. Hij is dus soms waar en soms onwaar. Voorbeeld: 𝒑∧¬𝒒
Wat is Redeneren in het algemeen
Hoe toon je de geldigheid van een redenering aan?
Predicatenlogica
Predicatenlogicavervolg
Wat is De ‘al-kwantor’ (of universele kwantor)
De ‘is-kwantor’ (of existentiële kwantor)
Noem de logische operatoren in de formele logica
Wat betekend: ^
Conjunctie (en)
Wat betekend: v
Disjunctie (of)
Wat betekend: –| (Symbool klopt niet maar krijg niet anders)
Negatief
Wat betekend: –>
Implicatie
Wat betekend: <–>
bi-implicatie
