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. 👁 75
asked by Jack

Respond to this Question

First Name

Your Response

Similar Questions

  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. 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
  3. 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
  4. Math

    1) a) Decide if (q  ( p~ q))~ p is a tautology using propositional equivalence and the laws of logic. b) Prove that the following argument is valid: q q r p r p ~ _________ ~    c) Replace p, q and r in 1b) by

    asked by Mark on March 3, 2016
  5. english

    provide the correct singular /plural form of the verbs in brackets in the below . sandra (do).......not believe in the new year resolution.she (think) ......we (need)....... new day resolution instead .sandraa (have).....had many

    asked by job on March 5, 2016
  6. Government

    1. Suppose that the Articles of Confederation are still in force and that a resolution has been proposed that would abolish the executive committee and replace it with a president. Now suppose that, out of the thirteen states,

    asked by Nadia on April 6, 2015
  7. computer graphic

    this is the term for an images resolution specifically when dealing with prints. a Megapixel b screen resolution c filter resolution d DPI i guess its "a" but i am not sure. plz help thanks

    asked by Anonymous on January 24, 2009
  8. math

    For each of the following examples: i) Express the negation of the statement using propositional notation, simplifying as much as possible, and ii) Express the statement (and its negation) in words, for the provided propositional

    asked by Kenny on April 8, 2017
  9. grammar 7th grade

    My daughter has some homework in which she has to identify independent clauses and subordinate clauses as well as indentifying whether the sentence is simple, complex, or compound. I can help her with the last part, but don't know

    asked by Juliana on February 8, 2010
  10. Math

    They have changed the rules for resolution passage within the UN Security Council. It still takes all 5 permanent members to vote “for” a resolution, but it will now take a total of 11 “for” votes to pass. How many ways

    asked by Jamie on September 23, 2011

More Similar Questions