Abstract

This chapter describes propositional functions and their formulas. Given a fixed set A, and ϕ(X) an expression that becomes a proposition when one substitutes for x an arbitrary value of x belonging to A. This expression is called a propositional function. The set of all those values of the variable x for which ϕX is a true proposition is denoted by the symbol, X:ϕ(X). Cartesian products appear very frequently in mathematics. A cylinder can be considered as the Cartesian product of the circumference of a circle by a closed interval. The surface of a torus can be treated as the Cartesian product of two circles. The chapter presents several easily proved formulas concerning the distributivity of Cartesian multiplication with respect to the operations of the algebra of sets

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call