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
verwijst een predicaat naar een functie of een eigenschap die kan worden toegepast op objecten. Het is een uitspraak die waar of onwaar kan zijn, afhankelijk van de waarden die aan de variabelen in het predicaat worden toegewezen. Bijvoorbeeld, in de uitspraak “x is groter dan 5” is “groter dan 5” het predicaat.
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