proeftentamen

[niconet]

Uitwisselen uitwerkingen van proeftentamen

Ik heb 1.1 1.2 1.3 1.4 en
2.1, 2.2, 2.3, 2.4 en
3.1 en 4.1 en 5
uitgewerkt met potlood en eventueel voor geintresseerden in .jpg format. Ik heb zelf geen site dus je moet me even iemelen als je ze wil hebben.

Is er iemand die 3.2 3.3 en 4.2 4.3 4.4 heeft uitgewerkt?
Zo ja, laat het me dan even weten.
Bij voorbaat dank.

Groet, Nico

[Yodium]

Ik heb Nico's opgaven bekeken en vraag mij net als Nico af wrm de EI in de ene versie van 2.1 niet mag en in de andere versie wel.

Voor het gemak heb ik het even op mijn site gezet:
yodium.crondor.net/Logica

[Bertjan]

Volgens mij mag je ook bij de eerste opgave de Ex-introductie doen.

Maar de bovenste stap mag toch niet? Je kunt uit Vx phi(x) -> psi niet met een al-eliminatie concluderen dat phi(x) -> psi.

Wel zou kunnen Vx (phi(x) -> psi) via al-eliminatie phi(x) -> psi. Maar dan staan de haakjes anders, d.w.z. een extra haakje.

[Yodium]

Edit: hier stond een domme vraag