Question 1: Let p, q and r denote the propositions 'My computer has 512 MB of memory', 'My computer has 1 GB of memory' and 'My computer runs Windows Vista', respectively. (a) Write down an English sentence that corresponds to the proposition -r^p. (b) Write down an English sentence that corresponds to the proposition q !-p. (c) Express the proposition 'If my computer has 1 GB of memory, then either my computer runs Windows Vista and does not have 512 MB of memory, or my computer does not run Windows Vista' in symbolic form.

Linear Algebra: A Modern Introduction
4th Edition
ISBN:9781285463247
Author:David Poole
Publisher:David Poole
Chapter2: Systems Of Linear Equations
Section2.4: Applications
Problem 30EQ
icon
Related questions
icon
Concept explainers
Topic Video
Question

what answer this questions?

Question 1: Let p, q and r denote the propositions 'My computer has 512 MB of
memory', 'My computer has 1 GB of memory' and 'My computer runs
Windows Vista', respectively.
(a) Write down an English sentence that corresponds to the proposition r^p.
(b) Write down an English sentence that corresponds to the proposition q !-p.
(c) Express the proposition 'If my computer has 1 GB of memory, then either my
computer runs Windows Vista and does not have 512 MB of memory, or my
computer does not run Windows Vista' in symbolic form.
Question 2: Give the truth table for each of the following expressions:
(a) -(p v-q) vp
(b) [p→ (p ^ q)] →¬
(c) (p ^ q) <→ (¬p v ¬9)
(d) [(p ^ r) v (q ^ r)] → (p → ¬q)
Question 3: Write down English sentences for the converse and contrapositive of the
proposition
'If Salalah is in Oman, then Dubai is not in Japan'.
Converse:
Contrapositive:
Question 4:
(a) Give the truth table for the expression q ^ [(-pv q)→.
(b) State, with brief reasons, whether q A [(-p v q) - q is a tautology, a
contradiction, or neither.
Question 5: Use the laws of logic to simplify -[q→-(p^q)].
Question 6: Suppose p denotes 'I ride my bicycle regularly' and q denotes 'I have an
injured knee'.
(a) Write down in words the argument that has symbolic form [q ^(-→p)]→-p.
(b) Use truth table to determine if the argument is valid.
Transcribed Image Text:Question 1: Let p, q and r denote the propositions 'My computer has 512 MB of memory', 'My computer has 1 GB of memory' and 'My computer runs Windows Vista', respectively. (a) Write down an English sentence that corresponds to the proposition r^p. (b) Write down an English sentence that corresponds to the proposition q !-p. (c) Express the proposition 'If my computer has 1 GB of memory, then either my computer runs Windows Vista and does not have 512 MB of memory, or my computer does not run Windows Vista' in symbolic form. Question 2: Give the truth table for each of the following expressions: (a) -(p v-q) vp (b) [p→ (p ^ q)] →¬ (c) (p ^ q) <→ (¬p v ¬9) (d) [(p ^ r) v (q ^ r)] → (p → ¬q) Question 3: Write down English sentences for the converse and contrapositive of the proposition 'If Salalah is in Oman, then Dubai is not in Japan'. Converse: Contrapositive: Question 4: (a) Give the truth table for the expression q ^ [(-pv q)→. (b) State, with brief reasons, whether q A [(-p v q) - q is a tautology, a contradiction, or neither. Question 5: Use the laws of logic to simplify -[q→-(p^q)]. Question 6: Suppose p denotes 'I ride my bicycle regularly' and q denotes 'I have an injured knee'. (a) Write down in words the argument that has symbolic form [q ^(-→p)]→-p. (b) Use truth table to determine if the argument is valid.
Expert Solution
steps

Step by step

Solved in 2 steps with 1 images

Blurred answer
Knowledge Booster
Application of Algebra
Learn more about
Need a deep-dive on the concept behind this application? Look no further. Learn more about this topic, advanced-math and related others by exploring similar questions and additional content below.
Recommended textbooks for you
Linear Algebra: A Modern Introduction
Linear Algebra: A Modern Introduction
Algebra
ISBN:
9781285463247
Author:
David Poole
Publisher:
Cengage Learning
Elementary Geometry For College Students, 7e
Elementary Geometry For College Students, 7e
Geometry
ISBN:
9781337614085
Author:
Alexander, Daniel C.; Koeberlein, Geralyn M.
Publisher:
Cengage,
Algebra & Trigonometry with Analytic Geometry
Algebra & Trigonometry with Analytic Geometry
Algebra
ISBN:
9781133382119
Author:
Swokowski
Publisher:
Cengage