The document contains examples of propositional logic statements and questions about logical equivalences and operations. It asks the reader to write statements in propositional logic form, define logical concepts like converse and contrapositive, construct truth tables, write negations of statements, and determine whether logical expressions are equivalent. It also contains proof problems about inferences between statements involving domains of people, numbers and days.
The document contains examples of propositional logic statements and questions about logical equivalences and operations. It asks the reader to write statements in propositional logic form, define logical concepts like converse and contrapositive, construct truth tables, write negations of statements, and determine whether logical expressions are equivalent. It also contains proof problems about inferences between statements involving domains of people, numbers and days.
Copyright:
Attribution Non-Commercial (BY-NC)
Available Formats
Download as DOC, PDF, TXT or read online from Scribd
The document contains examples of propositional logic statements and questions about logical equivalences and operations. It asks the reader to write statements in propositional logic form, define logical concepts like converse and contrapositive, construct truth tables, write negations of statements, and determine whether logical expressions are equivalent. It also contains proof problems about inferences between statements involving domains of people, numbers and days.
Copyright:
Attribution Non-Commercial (BY-NC)
Available Formats
Download as DOC, PDF, TXT or read online from Scribd
q: you miss the final examination. r: you pass the course. Write the following proposition into statement form. i. P ! q ii. 7p ! r iii. q ! 7r iv. pVqVr v. (p ! 7r) V (q !_ r) vi. (p_q) V (7q_r) (b) Define converse, contrapositive and inverse of an implication. [12+4]
2. (a) Let P(x) denote the statement. “x is a professional athlete” and
let Q(x)denote the statement” “x plays soccer”. The domain is the let of all people. Write each of the following proposition in English. i. 8x (P (x) ! Q(x)) ii. 9x (P (x)_Q(x)) iii. 8x (P (x) V Q(x)) (b) Write the negation of each of the above propositions, both in symbols and in words.
1. (a) Construed a truth table for each of there (easy) compound
statements i. (p ! q)_(7p ! q) ii. p ! (7qV r) (b) Write the negation of the following statements. i. Jan will take a job in industry or go to graduate school. ii. James will bicycle or run tomorrow. iii. If the processor is fast then the printer is slow. (c) What is the minimal set of connectives required for a well formed formula. [8+6+2]
2. Prove using rules of inference or disprove.
(a) Duke is a Labrador retriever All Labrador retriever like to swin Therefore Duke likes to swin. (b) All ever numbers that are also greater than 2 are not prime 2 is an even number 2 is prime Therefore some even numbers are prime. UNIVERSE = numbers. (c) If it is hot today or raining today then it is no fun to snow ski today It is no fun to snow ski today Therefore it is hot today UNIVERSE = DAYS. [5+6+5]
1. (a) Construed a truth table for each of there (easy) compound
statements i. (p ! q)_(7p ! q) ii. p ! (7qV r) (b) Write the negation of the following statements. i. Jan will take a job in industry or go to graduate school. ii. James will bicycle or run tomorrow. iii. If the processor is fast then the printer is slow. (c) What is the minimal set of connectives required for a well formed formula. [8+6+2]
2. Prove using rules of inference or disprove.
(a) Duke is a Labrador retriever All Labrador retriever like to swin Therefore Duke likes to swin. (b) All ever numbers that are also greater than 2 are not prime 2 is an even number 2 is prime Therefore some even numbers are prime. UNIVERSE = numbers. (c) If it is hot today or raining today then it is no fun to snow ski today It is no fun to snow ski today Therefore it is hot today UNIVERSE = DAYS. [5+6+5]
1. (a) Use De morgon’s laws to write the negation of each statement.
i. I want a car and a worth cycle. ii. My cat stays outside or it makes a mess iii. I’ve faller and I can’t get up iv. You study or you don’t get a good grade. (b) Are (p ! q) ! r and p ! (q ! r) logically equivalent? Justify your answer by using the rules of logic to simply both expressions and also by using truth tables. [8+8]
2. (a) Let P(x) denote the statement. “x is a professional athlete” and
let Q(x)denote the statement” “x plays soccer”. The domain is the let of all people. Write each of the following proposition in English. i. 8x (P (x) ! Q(x)) ii. 9x (P (x) _Q(x)) iii. 8x (P (x) V Q(x)) (b) Write the negation of each of the above propositions, both in symbols and in words. [6+10]