-- # Software Tools for Discrete Mathematics
module Stdm07PredicateLogic where

-- # Chapter 7.  Predicate Logic
forAll :: [Int] -> (Int -> Bool) -> Bool
forAll u p = all p u

exists :: [Int] -> (Int -> Bool) -> Bool
exists u p = any p u