Logisch redeneren > Altijd waar of nooit waar?
123456Altijd waar of nooit waar?

Uitleg

`A` `B` `A vv B` `A rArr (A vv B)`
`0` `0` `0` `1`
`0` `1` `1` `1`
`1` `0` `1` `1`
`1` `1` `1` `1`

Gegeven zijn de beweringen:
`A` : " `12345` is een vijfvoud."
`B` : " `3 xx 12345` is een vijfvoud."

Ga de waarheidstabel nauwkeurig na.

De bewering `A rArr (A ∨ B)` heeft altijd waarheidswaarde  `1` .
Een bewering die altijd waar is, heet een tautologie.

Ga ook de volgende waarheidstabel nauwkeurig na.

`A` `B` `A ^^ B` `not A vv not B` `(A ^^ B) ^^ (not A vv not B)`
`0` `0` `0` `1` `0`
`0` `1` `0` `1` `0`
`1` `0` `0` `1` `0`
`1` `1` `1` `0` `0`

De bewering `(A ^^ B) ^^ (not A vv not B)` heeft altijd waarheidswaarde `0` en is dan in alle gevallen onwaar. Een bewering die altijd onwaar is, heet een contradictie (tegenstrijdigheid).

Opgave 1

Gebruik de gegevens uit Uitleg 1.

a

Geef de betekenis van de beweringen `A ∨ B` en `A rArr (A ∨ B)` uit de eerste waarheidstabel.

b

Geef een verklaring dat deze bewering altijd waar is. Doe dit in je eigen woorden.

Opgave 2

Gebruik de gegevens uit de Uitleg 1.

a

Geef de betekenis van `A ^^ B` en `not A vv not B` uit de tweede waarheidstabel.

b

Wat kun je zeggen over de relatie tussen `A ^^ B` en `not A vv not B` ?

c

De bewering `(A^^B)^^(not A vv not B)` heeft in alle gevallen waarheidswaarde `0` . Geef in eigen woorden een voorbeeld van deze contradictie.

Opgave 3

Gegeven is bewering `A` : "The Voice Kids is de moeite waard om naar te kijken."
Ga na of onderstaande uitdrukkingen een contradictie of een tautologie betreffen.

a

`A ^^ not A`

b

`A rArr A`

c

`not A rArr not A`

verder | terug