Scribd Logo
Upload

Welcome to Scribd!

  • 127 views

    Practice Assignment: Classic Logic and Syllogism

    Uploaded by

    AbuZar Akbar
    This assignment involves completing 3 logic puzzles and analyzing the consistency of a set of system specifications. For the first puzzle, students are asked to determine who owns a zebra and drinks mineral water by filling out a table with information about 5 men living in houses of different colors. The second puzzle involves determining which of 5 family members was the victim of a murder based on clues about their locations and relationships. For the third part, students must translate system specifications into propositional logic formulas and determine if there is a single truth assignment that satisfies all the specifications. The assignment must be submitted by March 10th and no late submissions will be accepted.

    Copyright:

    © All Rights Reserved
    Download as PDF, TXT or read online from Scribd

    Practice Assignment: Classic Logic and Syllogism

    Uploaded by

    AbuZar Akbar
    127 views2 pages
    This assignment involves completing 3 logic puzzles and analyzing the consistency of a set of system specifications. For the first puzzle, students are asked to determine who owns a zebra and drinks mineral water by filling out a table with information about 5 men living in houses of different colors. The second puzzle involves determining which of 5 family members was the victim of a murder based on clues about their locations and relationships. For the third part, students must translate system specifications into propositional logic formulas and determine if there is a single truth assignment that satisfies all the specifications. The assignment must be submitted by March 10th and no late submissions will be accepted.

    Original Title

    Assignment 1.pdf

    Copyright

    © © All Rights Reserved

    Available Formats

    PDF, TXT or read online from Scribd

    Did you find this document useful?

    Is this content inappropriate?

    This assignment involves completing 3 logic puzzles and analyzing the consistency of a set of system specifications. For the first puzzle, students are asked to determine who owns a zebra and drinks mineral water by filling out a table with information about 5 men living in houses of different colors. The second puzzle involves determining which of 5 family members was the victim of a murder based on clues about their locations and relationships. For the third part, students must translate system specifications into propositional logic formulas and determine if there is a single truth assignment that satisfies all the specifications. The assignment must be submitted by March 10th and no late submissions will be accepted.

    Copyright:

    © All Rights Reserved
    Download as PDF, TXT or read online from Scribd
    Download as pdf or txt
    127 views2 pages

    Practice Assignment: Classic Logic and Syllogism

    Uploaded by

    AbuZar Akbar
    This assignment involves completing 3 logic puzzles and analyzing the consistency of a set of system specifications. For the first puzzle, students are asked to determine who owns a zebra and drinks mineral water by filling out a table with information about 5 men living in houses of different colors. The second puzzle involves determining which of 5 family members was the victim of a murder based on clues about their locations and relationships. For the third part, students must translate system specifications into propositional logic formulas and determine if there is a single truth assignment that satisfies all the specifications. The assignment must be submitted by March 10th and no late submissions will be accepted.

    Copyright:

    © All Rights Reserved
    Download as PDF, TXT or read online from Scribd
    Download as pdf or txt
    of 2

    Practice Assignment: Classic Logic and Syllogism [Propositional Logic]

    _____________________________________________________________________________________
     This assignment has 2points (weightage) in your class participation.
     There could be any question based on this assignment, so each student must do it on his own.
     Avoid copying others, you can seek help from others, but learn and practice.
     Assignment submission deadline is Tuesday 10th March 2020.
     No late submissions would be accepted for any reason(s).

    _____________________________________________________________________________________________

    1. Logical Puzzle- Zebra Puzzle or Einstein’s Riddle:


    It is said that “The Zebra Puzzle” is a logical puzzle invented by Albert Einstein (but who knows), and Wikipedia
    states that only 2% of the world population is able to solve it (also who knows, give it a try).

    Five men with different nationalities and with different jobs live in the consecutive houses on a street. The houses
    are painted in different colors. The men have different pets and have different favorite drinks. Determine who owns
    a zebra and whose favorite drink is mineral water. Given these clues:

     The Englishman lives in the red house.


     The Spaniard owns the dog.
     The Japaneze man is a painter.
     The Italian drinks tea.
     The Norwegian lives in the first house on the left.
     The green house is immediately to the right of the white house.
     The photographer breeds snails.
     The diplomat lives in the yellow house.
     Milk is drunk in middle house.
     The owner of the green house drinks coffee.
     The Norwegian house is next to the blue one.
     The violinist drinks the orange juice.
     The fox is in the house next to that of the physician.
     The horse is in a house next to that of the diplomat.

    Make a table where the rows represent the men and columns represent the color of their houses, their jobs, their
    pets, and their favorite drinks. Use logical reasoning to determine correct entries in the table, then determine the
    values of zebra owner and person whose favorite drink is mineral water.

    Submit all the working in proper format.

    2. A Puzzle:
    The following puzzle, titled “Malice and Alice,” is from George J. Summers’ Logical Deduction Puzzles.
    Alice, Alice’s husband, their son, their daughter, and Alice’s brother were involved in a murder. One of the five killed
    one of the other four. The following facts refer to the five people mentioned:

    1. A man and a woman were together in a bar at the time of the murder.
    2. The victim and the killer were together on a beach at the time of the murder.
    3. One of Alice’s two children was alone at the time of the murder.
    4. Alice and her husband were not together at the time of the murder.
    5. The victim’s twin was not the killer.
    6. The killer was younger than the victim.
    Which one of the five was the victim?

    Submit all the working in proper format.

    3. System Specifications Consistency [Operating Systems Validity]


    This problem examines whether the following specifications are satisfiable:
    1. If the file system is not locked, then
    (a) new messages will be queued.
    (b) new messages will be sent to the messages buffer.
    (c) the system is functioning normally, and conversely, if the system is functioning normally, then
    the file system is not locked.
    2. If new messages are not queued, then they will be sent to the messages buffer.
    3. New messages will not be sent to the message buffer.

    (a) Begin by translating the five specifications into propositional formulas using four propositional variables:
    L::= file system locked, Q::= new messages are queued, B::= new messages are sent to the message
    buffer, N::= system functioning normally.
    (b) Demonstrate that this set of specifications is satisfiable by describing a single truth assignment for the
    variables L, Q, B, N and verifying that under this assignment, all the specifications are true.
    (c) Argue that the assignment determined in part (b) is the only one that does the job.

    You might also like