Logica 2

Eenmoordzaak.

Ad en Ben zijn verdachten in een moordzaak. Ze leggen onder ede de volgende verklaringen af:

Ad: Ben is schuldig en Cor is onschuldig.

Ben: Als Ad schuldig is, dan is Cor ook schuldig.

Cor: Ik ben onschuldig, maar minstens één van de anderen is schuldig.

Stel dat alle drie de verdachten onschuldig zijn, wie pleegde(n) er dan meindeed?

• Ad

• Ben

• Cor

G: De appel is groen

R: De appel is rijp

"Als de appel niet groen is, dan is hij rijp"

• G → ¬R

• ¬G → R

• ¬(G → R)

G: De appel is groen

R: De appel is rijp

"Het is niet zo dat een appel rijp is als hij groen is"

• G → ¬R

• ¬G → R

• ¬(G → R)

G: De appel is groen

R: De appel is rijp

"als de appel groen is, dan is hij niet rijp"

• G → ¬R

• ¬G → R

• ¬(G → R)

Eenmoordzaak.

Ad en Ben zijn verdachten in een moordzaak. Ze leggen onder ede de volgende verklaringen af:

Ad: Ben is schuldig en Cor is onschuldig.

Ben: Als Ad schuldig is, dan is Cor ook schuldig.

Cor: Ik ben onschuldig, maar minstens één van de anderen is schuldig.

Stel dat ze alle drie de waarheid spraken, wie is/zijn er dan schuldig?

• Ad

• Ben

• Cor

"Als een zeug meer dan 30 dagen geleden gebigd heeft, dan is de melkproductie per dag minder dan 5½ kg.”

Welke conclusie kun je trekken?

De zeug heeft 35 dagen geleden gebigd.

• Geen conclusie

• De melkproductie is minder dan 5½ kg

• De melkproductie is meer dan 5½ kg

“Als een zeug meer dan 30 dagen geleden gebigd heeft, dan is de melkproductie per dag minder dan 5½ kg.”

Welke conclusie kun je trekken?

De zeug heeft 23 dagen geleden gebigd.

• Geen conclusie

• De melkproductie is minder dan 5½ kg

• De melkproductie is meer dan 5½ kg

“Als een zeug meer dan 30 dagen geleden gebigd heeft, dan is de melkproductie per dag minder dan 5½ kg.”

Welke conclusie kun je trekken?

De melkproductie is meer dan 5½ kg per dag.

• Geen conclusie

• De zeug heeft meer dan 30 dagen geleden gebigd

• De zeug heeft minder dan 30 dagen geleden gebigd.

“Als een zeug meer dan 30 dagen geleden gebigd heeft, dan is de melkproductie per dag minder dan 5½ kg.”

Welke conclusie kun je trekken?

De zeug heeft 8 dagen geleden gebigd.

• Geen conclusie

• De melkproductie is minder dan 5,5 kg

• De melkproductie is meer dan 5,5 kg

Een agrarische setting:

“Als een zeug meer dan 30 dagen geleden gebigd heeft, dan is de melkproductie per dag minder dan

5 1/2 kg.”

Welke conclusie kun je trekken?

De zeug heeft minder dan 30 dagen geleden gebigd.

• Geen conclusie

• De melkproductie is minder dan 5,5 kg

• De melkproductie is meer dan 5,5 kg