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

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

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 25, 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