# 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.
Thanks,

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

## 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