Results 1 to 2 of 2

Math Help - Propositions Involving Quantifiers

  1. #1
    Member
    Joined
    May 2011
    Posts
    179
    Thanks
    6

    Propositions Involving Quantifiers


    "Express each of these statements using logical operators, predicates, and quantifiers.

    c) The disjunction of two contingencies can be a tautology."

    The answer to this question is, \exists x \exists y(\neg T(x) \wedge \neg C(x) \wedge T(y) \wedge \neg C(y) \wedge T(x \vee y))

    I figured that the answer would involve an implication. Could someone possibly explain how this is the answer?
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor
    Joined
    Oct 2009
    Posts
    5,551
    Thanks
    783

    Re: Propositions Involving Quantifiers

    Quote Originally Posted by Bashyboy View Post
    "Express each of these statements using logical operators, predicates, and quantifiers.

    c) The disjunction of two contingencies can be a tautology."

    The answer to this question is, \exists x \exists y(\neg T(x) \wedge \neg C(x) \wedge T(y) \wedge \neg C(y) \wedge T(x \vee y))
    Should T(y) be negated as well?

    Quote Originally Posted by Bashyboy View Post
    I figured that the answer would involve an implication.
    Why do you think so?

    Quote Originally Posted by Bashyboy View Post
    Could someone possibly explain how this is the answer?
    This statement says that there exist two formulas that are neither tautologies nor contradictions (i.e., they are contingencies) and such that their disjunction is a tautology.

    P.S. Courtesy requires defining used notations. It took me a while to figure out that C(x) means that x is a contradiction and not a contingency.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Replies: 10
    Last Post: November 24th 2011, 04:03 AM
  2. Replies: 1
    Last Post: August 26th 2009, 08:04 AM
  3. propositions and logic help
    Posted in the Discrete Math Forum
    Replies: 4
    Last Post: March 22nd 2009, 04:57 PM
  4. Proof involving different quantifiers?
    Posted in the Discrete Math Forum
    Replies: 1
    Last Post: March 1st 2009, 12:28 PM
  5. Proving logic propositions
    Posted in the Discrete Math Forum
    Replies: 2
    Last Post: April 3rd 2008, 08:22 PM

Search Tags


/mathhelpforum @mathhelpforum