Formeel Denken 2006 Uitwerkingen Tentamen 1. ¬K ∧ (Z ∨ W → H) In deze oplossing is ‘a want b’ vertaald als ‘a ∧ b’, maar dit maakt niet expliciet dat a uit b volgt. Een vertaling die dit wel laat zien is - Wel - Document - PDFSEARCH.IO

First Page	Meta Content
	Formeel Denken 2006 Uitwerkingen Tentamen 1. ¬K ∧ (Z ∨ W → H) In deze oplossing is ‘a want b’ vertaald als ‘a ∧ b’, maar dit maakt niet expliciet dat a uit b volgt. Een vertaling die dit wel laat zien is Add to Reading List Document Date: 2007-01-30 07:43:59 Open Document File Size: 58,70 KB Share Result on Facebook

Formeel Denken 2006 Uitwerkingen Tentamen 1. ¬K ∧ (Z ∨ W → H) In deze oplossing is ‘a want b’ vertaald als ‘a ∧ b’, maar dit maakt niet expliciet dat a uit b volgt. Een vertaling die dit wel laat zien isAdd to Reading List