Propositie Logica

Question 1

Wat is een Test / Boolean expressie / propositie

Answer 1

Question 2

Wat zijn Complexere tests / samengestelde proposities

Answer 2

Question 3

Wat zijn de Logische operatoren in de Formele Logica

Answer 3

Question 4

Betekenis van de operatoren ∧ ∨ ¬

Answer 4

Question 5

Betekenis van de operatoren → ↔

Answer 5

Question 6

Maak een waarheidstabel voor (p→q) ∧ (q→p)

Answer 6

Question 7

Maak een waarheidstabel voor (pvq) ∧ (q→p)

Answer 7

Question 8

Maak een waarheidstabel voor (𝑝→𝑞) ∧ (𝑟∨𝑝)

Answer 8

Question 9

Maak een waarheidstabel voor (𝒑→𝒓) ∧ (𝒒→𝒓)

Answer 9

Question 10

Wat is Tautologie

Answer 10

Dit is een propositie waarvan de hele kolom in een waarheidstabel alleen uit T bestaat. Hij is dus onder alle omstandigheden waar. Voorbeeld: 𝒑∨¬𝒑

Question 11

Hoe vereenvoudigen van ingewikkelde tests

Answer 11

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:
¬ (𝑝 ∧ ¬𝑞)∨ 𝑞
¬𝑝 ∨ 𝑞
𝑝→𝑞

Question 12

Wat is Equivalentie van proposities

Answer 12

Question 13

Contradictie

Answer 13

Dit is een propositie waarvan de hele kolom in een waarheidstabel alleen uit F bestaat. Hij is dus onder alle omstandigheden onwaar. Voorbeeld: 𝒑∧¬𝒑

Question 14

Contingentie

Answer 14

Dit is een propositie waarvan de kolom in een waarheidstabel zowel T als F bevat. Hij is dus soms waar en soms onwaar. Voorbeeld: 𝒑∧¬𝒒

Question 15

Wat is Redeneren in het algemeen

Answer 15

Question 16

Hoe toon je de geldigheid van een redenering aan?

Answer 16

Question 17

Predicatenlogica

Answer 17

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.

Question 18

Predicatenlogicavervolg

Answer 18

Question 19

Wat is De ‘al-kwantor’ (of universele kwantor)

Answer 19

Question 20

De ‘is-kwantor’ (of existentiële kwantor)

Answer 20

Question 21

Noem de logische operatoren in de formele logica

Answer 21

Question 22

Wat betekend: ^

Answer 22

Conjunctie (en)

Question 23

Wat betekend: v

Answer 23

Disjunctie (of)

Question 24

Wat betekend: –| (Symbool klopt niet maar krijg niet anders)

Answer 24

Negatief

Question 25

Wat betekend: –>

Answer 25

Implicatie

Question 26

Wat betekend: <–>

Answer 26

bi-implicatie