
Notes on Propositional Logic
... In propositional logic, we would like to apply operators not only to atomic propositions, but also to the result of applying other operators. This means that our language of well-formed formulas in propositional logic should be inductively defined as follows. Definition 1. For a given set A of propo ...
... In propositional logic, we would like to apply operators not only to atomic propositions, but also to the result of applying other operators. This means that our language of well-formed formulas in propositional logic should be inductively defined as follows. Definition 1. For a given set A of propo ...
MTH4110/MTH4210 Mathematical Structures
... This exercise is based on last year’s mid-term test, which asked (amongst other things) whether the function f given above was surjective or not. Almost everybody spotted that the function was not surjective, but quite a number had problems explaining why. The wrong statements (a)-(d) above are actu ...
... This exercise is based on last year’s mid-term test, which asked (amongst other things) whether the function f given above was surjective or not. Almost everybody spotted that the function was not surjective, but quite a number had problems explaining why. The wrong statements (a)-(d) above are actu ...