Science - Proof of Propositional Logics

I am being asked if I can prove P, L, Q? (without using resolution-refutation).

Propositional clauses:
1. P -> V
2. !P -> (!V and F)
3. (V or F) -> Q
4. Q -> L

From here I was able, with resolution-refutation, to determine that we cannot prove P but we should be able to prove Q and L… After that I am completely stuck on how to proceed as I am not allowed to prove the question with that approach – only to help me see what answers I should get…

I assume I must either use Forward-Chaining or Backward-Chaining to solve the problems – but no knowledge is given, only implications – so how is one supposed to use either? In all my readings usually we would be given something like F=True (knowledge) or something similar and the chaining would come down to that – but with only implications I can’t see how anything can be proven…

All my attempts (and there have been many) have only added to my confusion.
Any help/hints would be greatly appreciated.

  1. 👍 0
  2. 👎 0
  3. 👁 225

Respond to this Question

First Name

Your Response

Similar Questions

  1. Equivalence laws

    show that the following propositional logics are equivalent using propositional equivalence laws. State the laws that you are applying. ¬[q∧ ( p → ¬ q ) ] → p ≡ ( p ⋁ q )

    asked by Jacqueline on August 9, 2020
  2. Logic

    Consider a propositional language with three propositional constants - mushroom, purple, and poisonous - each indicating the property suggested by its spelling. Using these propositional constants, encode the following English

    asked by qwerty on October 6, 2014
  3. History

    How did the Gulf of Tonkin Resolution affect the Vietnam War? 1.The resolution established a demilitarized zone at the 17th parallel. 2.North Vietnamese leaders agreed to discuss ending the Vietnamese War. 3.The United States

    asked by Ashley on December 5, 2019
  4. english

    Q2. Determine whether the underlined word groups are dependent clauses, independent clauses, or not a clause. ( 1.0) i. After the flood, the family moved into a temporary shelter. _____________ ii. Students enrolled in bachelor's

    asked by javeria on October 6, 2015

    I have two questions i need help on. Im pretty bad with colons and semicolons :/ 1. When two main clauses are joined together without the use of a coordinating conjunction, the clauses should be separated by a ____. A. semicolon

    asked by Jay on February 13, 2015
  2. Math

    A resolution was passed by a ratio of 5:4 If 900 people voted for the resolution, how many voted against it? (400?) The ston family spends $500 per month for rent. This is 4/15 of their total monthly income. Assuming that sale

    asked by Person on June 30, 2018
  3. World History

    How did the Gulf of Tonkin Resolution affect the Vietnam War? The resolution officially ended France’s imperialist claims to Vietnam. The United States became fully engaged in fighting in the Vietnam War. North Vietnamese

    asked by Lo on June 24, 2020
  4. English Check answers

    Identify the number of independent and subordinate clauses in the following group of words. When Janine does volunteer work, she feels a sense of joy and fulfillment A. one independent clause only B. one independent clause and one

    asked by Nikki on July 12, 2016
  1. Logic

    Use Propositional Resolution to show that the clauses {p, q}, {¬p, r}, {¬p, ¬r}, {p, ¬q} are not simultaneously satisfiable. Proof takes 8 steps including the premises and the goal.

    asked by qwerty on October 23, 2014
  2. English

    In a _______ sentence, you can expect to find two or more independent clauses and one or more dependent clauses A. compound-complex B. double compound C. complex D. compound My answer is D. is that right?

    asked by LunarBerry on April 22, 2019
  3. English

    Question 1 In what instance should you use a semicolon? between dependent clauses between independent clauses between clauses and phrases in place of a comma Question 2 In what instance should you use a semicolon? between a

    asked by christopher on April 25, 2010
  4. Logic

    Given the premises (p ⇒ q) and (r ⇒ s), use Propositional Resolution to prove the conclusion (p ∨ r ⇒ q ∨ s). Proof takes 8 steps including the premises and the goal.

    asked by qwerty on October 23, 2014

You can view more similar questions or ask a new question.