Question

[16pt] Which of the following formulas are semantically equivalent to p → (q ∨ r): For...

  1. [16pt] Which of the following formulas are semantically equivalent to p → (q ∨ r): For each formula from the following (denoted by X) that is equivalent to p → (q ∨ r), prove the validity of X « p → (q ∨ r) using natural deduction. For each formula that is not equivalent to p → (q ∨ r), draw its truth table and clearly mark the entries that result in the inequivalence. Assume the binding priority used in class.

(2.1) q ∨ (¬p ∨ r)

(2.2) q ∧ ¬r → p

(2.3) p ∧ ¬r → q

(2.4) ¬q ∧ ¬r → ¬p

Engineering   Computer-Science   
0 0
Add a commentTranscribed image text
Next >

Homework Answers

Answer #1

(2.1)Given:

In row 4 and row6 both are not equal.

0 0
Know the answer?
Your Answer:

Post as a guest

Your Name:

What's your source?

Earn Coins

Coins can be redeemed for fabulous gifts.

Log In

Sign Up

Not the answer you're looking for?
Ask your own homework help question
Similar Questions
Prove: (p ∧ ¬r → q) and p → (q ∨ r) are biconditional using natural...
Prove: (p ∧ ¬r → q) and p → (q ∨ r) are biconditional using natural deduction NOT TRUTH TABLE
Establish the equivalence of the following formulas: a) ┐(p v q), ┐p ^ ┐q b) p...
Establish the equivalence of the following formulas: a) ┐(p v q), ┐p ^ ┐q b) p v (q ^ r), (p v q) ^ (p v r) c) p -> (q -> r), (p ^ q) -> r d) p <-> q, (p -> q) ^ (q -> p)
Convert (and simplify) the following sentences to Conjunctive Normal Form (CNF): 2.1. (P →Q) → ((Q...
Convert (and simplify) the following sentences to Conjunctive Normal Form (CNF): 2.1. (P →Q) → ((Q → R) → (P → R)) 2.2. (P → Q) ↔ (P → R)
(1) Determine whether the propositions p → (q ∨ ¬r) and (p ∧ ¬q) → ¬r...
(1) Determine whether the propositions p → (q ∨ ¬r) and (p ∧ ¬q) → ¬r are logically equivalent using either a truth table or laws of logic. (2) Let A, B and C be sets. If a is the proposition “x ∈ A”, b is the proposition “x ∈ B” and c is the proposition “x ∈ C”, write down a proposition involving a, b and c that is logically equivalentto“x∈A∪(B−C)”. (3) Consider the statement ∀x∃y¬P(x,y). Write down a...
For three statements P, Q and R, use truth tables to verify the following. (a) (P...
For three statements P, Q and R, use truth tables to verify the following. (a) (P ⇒ Q) ∧ (P ⇒ R) ≡ P ⇒ (Q ∧ R). (c) (P ⇒ Q) ∨ (P ⇒ R) ≡ P ⇒ (Q ∨ R). (e) (P ⇒ Q) ∧ (Q ⇒ R) ≡ P ⇒ R.
The mean of a binomial distribution is found using which of the following formulas? p*q q*x...
The mean of a binomial distribution is found using which of the following formulas? p*q q*x n*p p*x
The implication - (p --> -q) is equivalent to which of the following? - p V...
The implication - (p --> -q) is equivalent to which of the following? - p V -q - p V q p ^ -q - q --> p
Use a truth table to determine whether the following argument is valid. p →q ∨ ∼r...
Use a truth table to determine whether the following argument is valid. p →q ∨ ∼r q → p ∧ r ∴ p →r
Show that the following two formulas are NOT logically equivalent by giving a model in which...
Show that the following two formulas are NOT logically equivalent by giving a model in which one is true and the other is false:   ∃x ( R(x) → S(x) ) and ¬ ∀x ( R(x) ∧ S(x) )
2. a. In what order are the operations in the following propositions performed? i. P ∨  ...
2. a. In what order are the operations in the following propositions performed? i. P ∨   ¬q ∨   r ∧   ¬p ii. P ∧   ¬q ∧   r ∧   ¬p iii. p ↔ q ∧   r → s b. Suppose that x is a proposition generated by p, q, and r that is equivalent to p ∨   ¬q. Write out x as a function of p, q, and r, and then give the truth table for x
ADVERTISEMENT
Need Online Homework Help?

Get Answers For Free
Most questions answered within 1 hours.

Ask a Question
ADVERTISEMENT