|
|
Post by Yodium on Jan 18, 2005 16:20:55 GMT -5
De opgaven waren vanavond in het werkcollege op voordat ik er eentje heb kunnen bemachtigen en ik vind ze ook niet op de site. Iemand toevallig handig met een scanner?
|
|
|
|
Post by Bertjan on Jan 19, 2005 5:52:47 GMT -5
Inmiddels heb ik gezien dat de opgaven ook terug te vinden zijn op de site van de dagstudenten bij 'opgaven 10 januari'. Ze hebben alleen een ander nummer:
Opgave 1 (vrije en gebonden variabelen )is onze opgave 3
Opgave 2 (substitutie) is onze opgave 4
Opgave 3 (predikaatlogica en ND) is onze opgave 5 (3 en 7 zijn huiswerkopgaven)
Opgave 4 (volledigheidsstelling) is onze opgave 6
(3 en 4 zijn huiswerk)
<<<>>>
Geen scanner, maar voor het gemak wel de huiswerkopgaven:
3 = exis. kwantor
V = univ. kwantor (maar hier en daar ook 'of')
! = niet (falsum)
Modelletjes tekenen:
Opg. 6.3: 3x (phi(x) -> psi(x)) -> (3x phi(x) -> 3x psi (x))
Opg. 6.4: 3x (phi(x) -> psi(x)) -> (Vx phi(x) -> Vx psi (x))
Natuurlijke deductie:
Opg. 5.3 geef een bewijs voor:
3x phi(x) ^ psi -> 3x(phi(x) ^ psi)
waarbij x geen elementen van de FV van phi
Opg. 5.7 geef een bewijs voor:
Vx phi(x) -> !3x !phi(x)
|
|
|
|
Post by Yodium on Jan 19, 2005 7:56:49 GMT -5
Hartelijk dank  |
|
|
|
Post by Yodium on Jan 19, 2005 10:27:33 GMT -5
Vraagje over Predicaatlogica en de volledigheidsstelling (of modelletjes tekenen om met Bertjan te spreken):
Onderaan staat dat je precies moet aangeven waar je de volledigheidsstelling of correctheidsstelling aanroept. Hoe doet men dat?
|
|
