Results 1 to 2 of 2

Math Help - propositional functions and set operators

  1. #1
    Newbie
    Joined
    Feb 2013
    From
    Rainbow
    Posts
    1

    Question propositional functions and set operators

    Hi guys,
    I'm new on forum. With searching I got some answers of my questions. TY for that. But I couldn't find exact answer for this Q's.


    1) Are all functions are propositional functions or not?
    2) How can we relate union, intersection, complement with logical connectives (AND, OR, NOT)?


    Thanks
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor
    Joined
    Oct 2009
    Posts
    5,417
    Thanks
    718

    Re: propositional functions and set operators

    Quote Originally Posted by eaksoy View Post
    1) Are all functions are propositional functions or not?
    No, functions from real numbers to real numbers are not propositional just because their domain and codomain (range) are not the set {T, F} of truth values.

    Quote Originally Posted by eaksoy View Post
    2) How can we relate union, intersection, complement with logical connectives (AND, OR, NOT)?
    The connection is made using characteristic functions. Given a subset S of some universal set U, the characteristic function of S, \chi_S:U\to\{T,F\}, is defined as follows.

    \chi_S(x)=\begin{cases}T & x\in S\\F & x\notin S\end{cases}

    (Usually 1 and 0 are used instead of T and F.) Then for any sets A, B, we have \chi_{A\cap B}(x)=\chi_A(x)\text{ AND }\chi_B(x), and similarly for other set operations.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Propositional Logic
    Posted in the Discrete Math Forum
    Replies: 12
    Last Post: June 1st 2011, 03:22 PM
  2. [SOLVED] Propositional functions and quantifiers ...
    Posted in the Discrete Math Forum
    Replies: 2
    Last Post: October 22nd 2008, 05:03 PM
  3. Propositional Logic--Please help
    Posted in the Discrete Math Forum
    Replies: 2
    Last Post: December 6th 2007, 05:25 AM
  4. Propositional
    Posted in the Discrete Math Forum
    Replies: 2
    Last Post: September 13th 2007, 04:44 PM
  5. propositional logic
    Posted in the Discrete Math Forum
    Replies: 5
    Last Post: June 10th 2007, 09:50 AM

Search Tags


/mathhelpforum @mathhelpforum