Symbolic Logic 5E: 2.1, I

“If A and B are true statements and X and Y are false statements, which of the following compound statements are true?”

  1. F                 11. T
  2. T                 12. T
  3. F                 13. T
  4. T                 14. T
  5. T                 15. F
  6. F                 16. T
  7. F                 17. T
  8. T                 18. T
  9. F                 19. F
  10. F                 20. F
Advertisements

3 Comments

Filed under Solution Sets

3 responses to “Symbolic Logic 5E: 2.1, I

  1. 13. ~{~[~(A*~X)*~A]*~X} = F

    ~{~[~(T*~F)*~T]*~F}
    ~{~[~(T*T)*F]*T}
    ~{~[~(T)*F]*T}
    ~{~[F*F]*T}
    ~{~[F]*T}
    ~{T*T}
    ~{T} = F

  2. Vinny Mossman

    13. ~{~[~(A•~X)•~A]•~X}
    NOT {NOT [NOT (true AND NOT false) AND NOT true] AND NOT false}
    NOT {NOT [NOT (true AND true) AND NOT true] AND NOT false}
    NOT {NOT [NOT (true) AND NOT true] AND NOT false}
    NOT {NOT [NOT (true) AND false] AND NOT false}
    NOT {NOT [false AND false] AND NOT false}
    NOT {NOT [false] AND NOT false}
    NOT {true AND NOT false}
    NOT {true AND true}
    NOT {true}
    ∴ false

  3. Please correct the 13th answer. It’s false.
    Thank you for the solutions!

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s