Propositional logic and Boolean Logic Thread :cool:

Computer Science and ICT discussion, revision, exam and homework help.

Announcements Posted on
Enter our travel-writing competition for the chance to win a Nikon 1 J3 camera 21-05-2013
IMPORTANT: You must wait until midnight (morning exams)/4.30AM (afternoon exams) to discuss Edexcel exams and until 1pm/6pm the following day for STEP and IB exams. Please read before posting, including for rules for practical and oral exams. 28-04-2013
Sign in to Reply
  1. SoulfulBoy's Avatar
    • Vengeful, Imperial Overlord of The Student Room
    • Posts: 3,869
    Propositional logic and Boolean Logic Thread :cool:
    This for all the users studying logic. :cool:
  2. SoulfulBoy's Avatar
    • Vengeful, Imperial Overlord of The Student Room
    • Posts: 3,869
    Re: Propositional logic and Boolean Logic Thread :cool:
    Anyone wanna help me with some truth tables?
  3. FinalMH's Avatar
    • Peer Of The TSR Realm
    Re: Propositional logic and Boolean Logic Thread :cool:
    My nightmare continues :laugh: To the student room
  4. ElMoro's Avatar
    • TSR Idol
    • Posts: 8,643
    Re: Propositional logic and Boolean Logic Thread :cool:
    (Original post by SoulfulBoy)
    Anyone wanna help me with some truth tables?
    Sure (I'll try )
  5. FinalMH's Avatar
    • Peer Of The TSR Realm
    Re: Propositional logic and Boolean Logic Thread :cool:
    (Original post by SoulfulBoy)
    Anyone wanna help me with some truth tables?
    go on
  6. SoulfulBoy's Avatar
    • Vengeful, Imperial Overlord of The Student Room
    • Posts: 3,869
    Re: Propositional logic and Boolean Logic Thread :cool:
    (Original post by FinalMH)
    go on
    I don't understand quite well the 3rd and 5th columns.


    http://imageshack.us/photo/my-images...1021200243.jpg

    Last edited by SoulfulBoy; 21-10-2011 at 20:10.
  7. SoulfulBoy's Avatar
    • Vengeful, Imperial Overlord of The Student Room
    • Posts: 3,869
    Re: Propositional logic and Boolean Logic Thread :cool:
  8. gff's Avatar
    • Exalted and Worshipped Member
    • Location: Milky way Posts: μ(Ø)
    Re: Propositional logic and Boolean Logic Thread :cool:
    (Original post by SoulfulBoy)
    I don't understand quite well the 3rd and 5th columns.


    http://imageshack.us/photo/my-images...1021200243.jpg

    The third column is:
    1. (NOT A and B) (\lnot A \land B)
    This means when A is FALSE and B is TRUE, then the above statement is TRUE.

    The fifth column is:
    2. (A and NOT B) (A \land \lnot B)
    This means when A is TRUE and B is FALSE, then the above statement is TRUE.
  9. SoulfulBoy's Avatar
    • Vengeful, Imperial Overlord of The Student Room
    • Posts: 3,869
    Re: Propositional logic and Boolean Logic Thread :cool:
    (Original post by ElMoro)
    Sure (I'll try )
    [IMG] Uploaded with ImageShack.us[/IMG]
  10. SoulfulBoy's Avatar
    • Vengeful, Imperial Overlord of The Student Room
    • Posts: 3,869
    Re: Propositional logic and Boolean Logic Thread :cool:
    (Original post by gff)
    The third column is:
    1. (NOT A and B) (\lnot A \land B)
    This means when A is FALSE and B is TRUE, then the above statement is TRUE.

    The fifth column is:
    2. (A and NOT B) (A \land \lnot B)
    This means when A is TRUE and B is FALSE, then the above statement is TRUE.
    Thanks for your reply.

    Could you explain the point 1. more explicitly, please? I understand that NOT A is the opposite truth value of A but I don't actually get the third column.
    Could you give me examples using actual sentences please?
    And the same goes for the point 2.
    I guess I am too thick

    Cheers, Gff!
  11. ElMoro's Avatar
    • TSR Idol
    • Posts: 8,643
    Re: Propositional logic and Boolean Logic Thread :cool:
    (Original post by SoulfulBoy)
    I don't understand quite well the 3rd and 5th columns.
    NOT A AND B (can also be written as \overline{A} \cdot B or more commonly \lnot A \land B) means that it's true when NOT A is true (so A is false) and B is true.

    It's similar thing for A AND NOT B. Hope this made sense
  12. ElMoro's Avatar
    • TSR Idol
    • Posts: 8,643
    Re: Propositional logic and Boolean Logic Thread :cool:
    (Original post by SoulfulBoy)
    Could you explain the point 1. more explicitly, please? I understand that NOT A is the opposite truth value of A but I don't actually get the third column.
    They will serve me in a shop if I'm not drugged AND I'm over sixteen

    Let's say A is me being drugged (so A is true means I am drugged)

    And B is me being over sixteen (so if B is true it means I'm over sixteen)

    They will serve me if I'm NOT drugged (so NOT A) and over sixteen (which is B)

    So for them to serve me NOT A has to be true and B has to be true

    If NOT A is true, it means A is false (if I'm not drugged then obviously the statement "I am drugged" is false)

    So that means NOT A AND B is true when A is false and B is true

    Hope this makes sense
  13. FinalMH's Avatar
    • Peer Of The TSR Realm
    Re: Propositional logic and Boolean Logic Thread :cool:
    (Original post by SoulfulBoy)
    I don't understand quite well the 3rd and 5th columns.


    http://imageshack.us/photo/my-images...1021200243.jpg

    I think they have answered the question :laugh:

    http://www.youtube.com/watch?v=xlUFkMKSB3Y

    Also if you have some time, this will be extremely helpful if you're stuck.
    Last edited by FinalMH; 21-10-2011 at 20:33.
  14. SoulfulBoy's Avatar
    • Vengeful, Imperial Overlord of The Student Room
    • Posts: 3,869
    Re: Propositional logic and Boolean Logic Thread :cool:
    (Original post by ElMoro)
    They will serve me in a shop if I'm not drugged AND I'm over sixteen

    Let's say A is me being drugged (so A is true means I am drugged)

    And B is me being over sixteen (so if B is true it means I'm over sixteen)

    They will serve me if I'm NOT drugged (so NOT A) and over sixteen (which is B)

    So for them to serve me NOT A has to be true and B has to be true

    If NOT A is true, it means A is false (if I'm not drugged then obviously the statement "I am drugged" is false)

    So that means NOT A AND B is true when A is false and B is true

    Hope this makes sense
    This was what I needed!!!!!! I see it all clear now!!!
    Thank you, so much, sir!

    I will give you some pos reps tomorrow (I already spent those I had today )

    I will contact you if I have more doubts.
  15. gff's Avatar
    • Exalted and Worshipped Member
    • Location: Milky way Posts: μ(Ø)
    Re: Propositional logic and Boolean Logic Thread :cool:
    (Original post by SoulfulBoy)
    Thanks for your reply.

    Could you explain the point 1. more explicitly, please? I understand that NOT A is the opposite truth value of A but I don't actually get the third column.
    Could you give me examples using actual sentences please?
    And the same goes for the point 2.
    I guess I am too thick

    Cheers, Gff!
    For the first point.

    Example:

    I would buy a place on the Moon if they it isn't too expensive, and if I can see it with my telescope.

    This can be turned into a propositional logic statement, i.e.

    A = Places on the Moon are expensive.
    B = I can see them with my telescope.

    Then, the statement Q = I'll buy a place on the Moon.

    This being said, the conditions for Q to be true are \lnot A \land B.

    This implies that Q \leftrightarrow (\lnot A \land B).

    Now, you know that I wouldn't buy a place on the moon when A is true and B is true.
    This means that Q is FALSE when (A \land B).

    What are the other possibilities when I wouldn't buy a place on the moon?
  16. SoulfulBoy's Avatar
    • Vengeful, Imperial Overlord of The Student Room
    • Posts: 3,869
    Re: Propositional logic and Boolean Logic Thread :cool:
    (Original post by FinalMH)
    I think they have answered the question :laugh:

    http://www.youtube.com/watch?v=xlUFkMKSB3Y

    Also if you have some time, this will be extremely helpful if you're stuck.
    I will watch it, FinalMH.

    Thanks!
  17. SoulfulBoy's Avatar
    • Vengeful, Imperial Overlord of The Student Room
    • Posts: 3,869
    Re: Propositional logic and Boolean Logic Thread :cool:
    (Original post by gff)
    For the first point.

    Example:

    I would buy a place on the Moon if they it isn't too expensive, and if I can see it with my telescope.

    This can be turned into a propositional logic statement, i.e.

    A = Places on the Moon are expensive.
    B = I can see them with my telescope.

    Then, the statement Q = I'll buy a place on the Moon.

    This being said, the conditions for Q to be true are \lnot A \land B.

    This implies that Q \leftrightarrow (\lnot A \land B).

    Now, you know that I wouldn't buy a place on the moon when A is true and B is true.
    This means that Q is FALSE when (A \land B).

    What are the other possibilities when I wouldn't buy a place on the moon?
    You would not buy a place on the moon when:

    1. Places on the moon are not expensive and you cannot see them with your telescope.

    2. Places on the moon are expensive and you cannot see them with your telescope.


    Is it okay?
  18. Planto's Avatar
    • TSR Idol
    • Posts: 8,689
    Re: Propositional logic and Boolean Logic Thread :cool:
    (Original post by gff)
    For the first point.

    Example:

    I would buy a place on the Moon if they it isn't too expensive, and if I can see it with my telescope.

    This can be turned into a propositional logic statement, i.e.

    A = Places on the Moon are expensive.
    B = I can see them with my telescope.

    Then, the statement Q = I'll buy a place on the Moon.

    This being said, the conditions for Q to be true are \lnot A \land B.

    This implies that Q \leftrightarrow (\lnot A \land B).
    Not strictly correct. A valid deduction would be (\lnot A \land B) \Rightarrow Q. Consider that (strictly speaking) by your original proposition, Q doesn't imply anything about the truth values of A or B (only vice versa). Specifically, (A \lor \lnot B) \Rightarrow Q is vacuously true.
    Last edited by Planto; 21-10-2011 at 20:59.
  19. gff's Avatar
    • Exalted and Worshipped Member
    • Location: Milky way Posts: μ(Ø)
    Re: Propositional logic and Boolean Logic Thread :cool:
    (Original post by SoulfulBoy)
    You would not buy a place on the moon when:

    1. Places on the moon are not expensive and you cannot see them with your telescope.

    2. Places on the moon are expensive and you cannot see them with your telescope.


    Is it okay?
    Yes, it looks okay.
  20. SoulfulBoy's Avatar
    • Vengeful, Imperial Overlord of The Student Room
    • Posts: 3,869
    Re: Propositional logic and Boolean Logic Thread :cool:
    (Original post by ElMoro)
    They will serve me in a shop if I'm not drugged AND I'm over sixteen

    Let's say A is me being drugged (so A is true means I am drugged)

    And B is me being over sixteen (so if B is true it means I'm over sixteen)

    They will serve me if I'm NOT drugged (so NOT A) and over sixteen (which is B)

    So for them to serve me NOT A has to be true and B has to be true

    If NOT A is true, it means A is false (if I'm not drugged then obviously the statement "I am drugged" is false)

    So that means NOT A AND B is true when A is false and B is true

    Hope this makes sense
    [IMG] Uploaded with ImageShack.us[/IMG]

    Is the table ok? Also I don't know how to approach A XOR B
Sign in to Reply
Share this discussion:  
Article updates
Moderators

We have a brilliant team of more than 60 volunteers looking after discussions on The Student Room, helping to make it a fun, safe and useful place to hang out.

Reputation gems:
The Reputation gems seen here indicate how well reputed the user is, red gem indicate negative reputation and green indicates a good rep.
Post rating score:
These scores show if a post has been positively or negatively rated by our members.