Assignment1Solution

# Assignment1Solution - Assignment#1 Solutions and Grading...

• Homework Help
• 7

This preview shows pages 1–3. Sign up to view the full content.

Assignment #1 Solutions and Grading Total Points (361 pts) Points are calculated. Your final grade is given out of 100 rounded up to the next percentage. Sample answers are given in red. Student’s answers may differ. Note: Don’t go below zero on any point calculation. Problem 1 (25 pts) Each sub-problem is worth 5 pts. All or nothing. Give partial credit in odd cases by discretion. a) 𝑞𝑞 → 𝑝𝑝 b) ( 𝑠𝑠 ∧ 𝑟𝑟 ) → 𝑞𝑞 c) 𝑝𝑝 ∧ 𝑟𝑟 ) → 𝑞𝑞 d) If I don’t finish writing my computer program before lunch and the sun isn’t shining, then I won’t play tennis in the afternoon. e) I’ll play tennis in the afternoon if, and only if, the sun is shining. Problem 2 (20 pts) 1. Points are given for the following checks (15 pts) 3 pts for each row correct (12 pts total) 3 pts for enumerating all possible p and q pairs. (-1 for each redundant pair) Note: Students may use 1 and 0 in place of true and false. The row order doesn’t matter. 𝑝𝑝 𝑞𝑞 𝑝𝑝 ∧ 𝑞𝑞 𝑝𝑝 → ( 𝑝𝑝 ∧ 𝑞𝑞 ) 𝐹𝐹 𝐹𝐹 𝐹𝐹 𝑇𝑇 𝐹𝐹 𝑇𝑇 𝐹𝐹 𝑇𝑇 𝑇𝑇 𝐹𝐹 𝐹𝐹 𝐹𝐹 𝑇𝑇 𝑇𝑇 𝑇𝑇 𝑇𝑇 2. 5 pts for the answer. All or nothing. 𝑝𝑝 → 𝑞𝑞

This preview has intentionally blurred sections. Sign up to view the full version.

Problem 3 (66 pts) For each problem in this section, 20 points are possible for the truth table. -1 for each row incorrect if using truth table -1 for each step incorrect using laws of logic -1 for each partial solution column missing if using truth table Heavy discretion needed. 0 points if no solution. 2 pts for the correct classification. (All neither!) a) ( 𝑝𝑝 ∧ 𝑞𝑞 ) → 𝑟𝑟� → � ( 𝑝𝑝 → 𝑟𝑟 ) ( 𝑞𝑞 → 𝑟𝑟 ) 𝑠𝑠 1 𝑠𝑠 2 𝑝𝑝 𝑞𝑞 𝑟𝑟 𝑝𝑝 ∧ 𝑞𝑞 ( 𝑝𝑝 ∧ 𝑞𝑞 ) → 𝑟𝑟 𝑝𝑝 → 𝑞𝑞 𝑞𝑞 → 𝑟𝑟 ( 𝑝𝑝 → 𝑟𝑟 ) ( 𝑞𝑞 → 𝑟𝑟 ) 𝑠𝑠 1 → 𝑠𝑠 2 𝐹𝐹 𝐹𝐹 𝐹𝐹 𝐹𝐹 𝑇𝑇 𝑇𝑇 𝑇𝑇 𝑇𝑇 𝑇𝑇 𝐹𝐹 𝐹𝐹 𝑇𝑇 𝐹𝐹 𝑇𝑇 𝑇𝑇 𝑇𝑇 𝑇𝑇 𝑇𝑇 𝐹𝐹 𝑇𝑇 𝐹𝐹 𝐹𝐹 𝑇𝑇 𝑇𝑇 𝐹𝐹 𝐹𝐹 𝐹𝐹 𝐹𝐹 𝑇𝑇 𝑇𝑇 𝐹𝐹 𝑇𝑇 𝑇𝑇 𝑇𝑇 𝑇𝑇 𝑇𝑇 𝑇𝑇 𝐹𝐹 𝐹𝐹 𝐹𝐹 𝑇𝑇 𝐹𝐹 𝑇𝑇 𝑇𝑇 𝐹𝐹 𝑇𝑇 𝐹𝐹 𝑇𝑇 𝐹𝐹 𝑇𝑇 𝑇𝑇 𝑇𝑇 𝑇𝑇 𝑇𝑇 𝑇𝑇 𝑇𝑇 𝐹𝐹 𝑇𝑇 𝐹𝐹 𝐹𝐹 𝐹𝐹 𝐹𝐹 𝑇𝑇 𝑇𝑇 𝑇𝑇 𝑇𝑇 𝑇𝑇 𝑇𝑇 𝑇𝑇 𝑇𝑇 𝑇𝑇 𝑇𝑇 b) ( 𝑝𝑝 ∧ 𝑞𝑞 ) 𝑝𝑝 ∧ ¬ 𝑞𝑞 )
This is the end of the preview. Sign up to access the rest of the document.
• Fall '00
• Guha
• pts, Modus ponens, Modus tollens, Argument form, Modus tollendo ponens

{[ snackBarMessage ]}

### What students are saying

• As a current student on this bumpy collegiate pathway, I stumbled upon Course Hero, where I can find study resources for nearly all my courses, get online help from tutors 24/7, and even share my old projects, papers, and lecture notes with other students.

Kiran Temple University Fox School of Business ‘17, Course Hero Intern

• I cannot even describe how much Course Hero helped me this summer. It’s truly become something I can always rely on and help me. In the end, I was not only able to survive summer classes, but I was able to thrive thanks to Course Hero.

Dana University of Pennsylvania ‘17, Course Hero Intern

• The ability to access any university’s resources through Course Hero proved invaluable in my case. I was behind on Tulane coursework and actually used UCLA’s materials to help me move forward and get everything together on time.

Jill Tulane University ‘16, Course Hero Intern
{"found_math": false, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "url": "https://www.coursehero.com/file/14063803/Assignment1Solution/", "fetch_time": 1544915078000000000, "content_mime_type": "text/html", "warc_filename": "crawl-data/CC-MAIN-2018-51/segments/1544376827137.61/warc/CC-MAIN-20181215222234-20181216004234-00157.warc.gz", "warc_record_offset": 847865430, "warc_record_length": 185901, "token_count": 1501, "char_count": 3180, "score": 3.65625, "int_score": 4, "crawl": "CC-MAIN-2018-51", "snapshot_type": "latest", "language": "en", "language_score": 0.7069773077964783, "file_path": "/sailhome/yjruan/project/latent-lm/data/processed/finemath-4plus/finemath-4plus/train-00018-of-00064.parquet"}