fbpx

1. build a combined truth table for the following wffs, where p, q

Don't use plagiarized sources. Get Your Assignment on
1. build a combined truth table for the following wffs, where p, q
Just from $13/Page
Order Now

1. Build a combined truth table for the following wffs, where P, Q and R are propositional variables: (a) P ⇒ (Q ∨ R) (b) (P ∨ Q) ⇒ R Use your tables to explain briefly why (P ∨ Q) ⇒ R |= P ⇒ (Q ∨ R) , but P ⇒ (Q ∨ R) ̸|= (P ∨ Q) ⇒ R . (8 marks)

 

 

2. Use the rules of deduction in the Propositional Calculus (but avoiding derived rules) to find formal proofs for the following sequents:

(a) P , (P ∧ Q) ⇒ ∼ R ⊢ R ⇒ ∼ Q

(b) Q ⇒ (R ⇒ ∼ Q) ⊢ ∼ (R ∧ Q)

(c) (Q ⇒ R) ∧ (P ⇒ S) ⊢ (P ∨ Q) ⇒ (R ∨ S) (12 marks)

 

3. Use truth values to determine which one of the following wffs is a theorem (in the sense of always being true).

(a) ( ( P ∨ R ) ∧ ( Q ∨ R ) ) ⇒ (( P ∧ Q ) ∨ R )

(b) ( ( P ∨ R ) ∧ ( Q ∨ R ) ) ⇒ (( P ∨ Q ) ∧ R )

For the one that isn’t a theorem, produce all counterexamples. For the one that is a theorem, provide a formal proof also using rules of deduction in the Propositional Calculus (but avoiding derived rules of deduction). (10 marks)

 

 

4. A tilde-arrow-wff is a well-formed formula that is built out of propositional variables and the logical connectives ∼, ⇒ and ⇔ only. For example W1 ≡ ((∼ ((∼ P) ⇔ Q)) ⇒ ((∼ R) ⇒ (P ⇔ Q))) is a tilde-arrow-wff. For part (a) below, each bracket and each propositional variable, including its subscript, counts as a symbol. We also include in the count of symbols the final brackets on the outside of the wff that are normally invisible in practice.

(a) Prove that the number of symbols of tilde-arrow-wffs can be 1, 4, 5 or any integer greater than or equal to 7. (We saw in lectures that the number of symbols of a tilde-arrow-wff cannot be 2, 3 or 6, and you do not need to prove this.)

(b) Use truth values to explain why W1 is a theorem.

(c) Find a tilde-arrow-wff W2 that has the following truth table (including a brief explanation how you found it): P T T T T F F F F Q T T F F T T F F R T F T F T F T F W2 T F F T T F F F

(d) Prove that all truth tables, in any number of propositional variables, arise as truth tables of tilde-arrow-wffs. (15 marks)

 

 

5. Evaluate each of 1 3 , 7 8 , 8 7 in Z12 and Z13, or explain briefly why the given fraction does not exist. (6 marks) 6. Prove that the only integer solution to the equation x 2 − 3y 2 = 2z 2 is (x, y, z) = (0, 0, 0). (9 marks)

Calculate the price
Make an order in advance and get the best price
Pages (550 words)
$0.00
*Price with a welcome 15% discount applied.
Pro tip: If you want to save more money and pay the lowest price, you need to set a more extended deadline.
We know how difficult it is to be a student these days. That's why our prices are one of the most affordable on the market, and there are no hidden fees.

Instead, we offer bonuses, discounts, and free services to make your experience outstanding.
How it works
Receive a 100% original paper that will pass Turnitin from a top essay writing service
step 1
Upload your instructions
Fill out the order form and provide paper details. You can even attach screenshots or add additional instructions later. If something is not clear or missing, the writer will contact you for clarification.
Pro service tips
How to get the most out of your experience with Homework Writing Services
One writer throughout the entire course
If you like the writer, you can hire them again. Just copy & paste their ID on the order form ("Preferred Writer's ID" field). This way, your vocabulary will be uniform, and the writer will be aware of your needs.
The same paper from different writers
You can order essay or any other work from two different writers to choose the best one or give another version to a friend. This can be done through the add-on "Same paper from another writer."
Copy of sources used by the writer
Our college essay writers work with ScienceDirect and other databases. They can send you articles or materials used in PDF or through screenshots. Just tick the "Copy of sources" field on the order form.
Testimonials
See why 20k+ students have chosen us as their sole writing assistance provider
Check out the latest reviews and opinions submitted by real customers worldwide and make an informed decision.
Computer science
Even though I received the paper on time, the person that I received the paper from kept telling that did submit the paper to me and there no link available to me to download and revise the paper until excessive close to the deadline. This is not good business, considering that there at least a week to write not to mention the support kept telling me that I was submitted when it wasnt...
Customer 452515, April 9th, 2020
ASCI 491: Operational Application in Aeronautics
Good focus.
Customer 457731, April 3rd, 2022
Nursing
2 hrs late
Customer 454007, April 12th, 2020
History
The work was done on time and is better than I could have imagined.
Customer 454439, June 1st, 2020
Public Administration
N/a
Customer 453751, June 28th, 2020
Nursing
nice work
Customer 453939, June 8th, 2020
Geography
Good job. Adequate introduction and thesis, has cited evidence & satisafies the question in context.
Customer 463019, June 8th, 2022
Marketing & Advertising
Excellent work. Looking forward to working with you in the future.
Customer 463467, November 10th, 2022
Military
Excellent job
Customer 456821, November 8th, 2022
Education
great
Customer 463647, December 22nd, 2022
Business Studies
im happy
Customer 453915, January 28th, 2020
Business Studies
Although my order was not delivered at my requested time due to issues with email, the material received was great.
Customer 454605, June 19th, 2020
11,595
Customer reviews in total
96%
Current satisfaction rate
3 pages
Average paper length
37%
Customers referred by a friend
OUR GIFT TO YOU
15% OFF your first order
Use a coupon FIRST15 and enjoy expert help with any task at the most affordable price.
Claim my 15% OFF Order in Chat