Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Validity Using Euler Circles and Truth Tables

  1. Jul 30, 2008 #1
    I'm so confused on how to tackle this problem:



    1. Truth tables are related to Euler circles. Arguments in the form of Euler circles can be translated into statements using the basic connectives and the negation as follows:



    Let p be “The object belongs to set A. “Let q be “the object belongs to set B.”


    All A is B is equivalent to p -> q.

    No A is B is equivalent to p ->~ q.

    Some A is B is equivalent to p ^ q.

    Some A is not B is equivalent to p ^ ~q.


    Determine the validity of the next arguments by using Euler circles, then translate the statements into logical statements using the basic connectives, and using truth tables, determine the validity of the arguments. Compare your answers.


    (a). No A is B.
    Some C is A.
    ___________
    Therefore Some C is not B.


    (b) All B is A.
    All C is A.
    __________
    Therefore All C is B.
     
  2. jcsd
  3. Jul 31, 2008 #2

    HallsofIvy

    User Avatar
    Staff Emeritus
    Science Advisor

    ?? What do you want help with? What have you done on (a) and (b)?
     
  4. Apr 13, 2009 #3
    I am having the same problem with that same problem.
     
  5. Apr 20, 2009 #4
    this question has me stumped also. I do not know the first step to getting started. any help will be greatly appreciated. thanks
     
    Last edited: Apr 20, 2009
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?



Similar Discussions: Validity Using Euler Circles and Truth Tables
  1. Creating Truth Tables (Replies: 2)

Loading...