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

First Page		Document Content
Date: 2007-01-30 07:43:59		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 Source URL: www.cs.ru.nl Download Document from Source Website File Size: 58,70 KB Share Document on Facebook