The Gateway to Computer Science Excellence
First time here? Checkout the FAQ!
x
+16 votes
1.1k views

The following propositional statement is  $\left(P \implies \left(Q \vee R\right)\right) \implies \left(\left(P \wedge Q \right)\implies R\right)$

  1.    satisfiable but not valid
  2.    valid
  3.    a contradiction
  4.    None of the above
asked in Mathematical Logic by Veteran (59.6k points)
edited by | 1.1k views

1 Answer

+18 votes
Best answer
Answer a

It is false when P = T, Q = T, R = F

It is true (satisfiable) when P = T. Q = T, R = T
answered by Loyal (5.9k points)
selected by
0
what does it means '' not valid '' in option a ?????
+15

Tautology: A tautology is a proposition that is always ture. 

ex: (p  v ~p)= T

Contradiction: A contradiction is a proposition that is always false.

ex: (p ^ ~p)=F

Contigency: A contigency is a proposition that is neither a tautology nor a contradiction.

ex: (p v q)----> ~r

* A propositional logic is said to be satisfiable if it is either a tautology or contigency.

* If logic is contradiction then it is said to be unsatisfiable.

* By contigency we means the logic can be ture or false.

* Contradiction is the unsatisfiable function.

* Statement is valid means tautology.

* Statement is not valid means not tautology.

Answer:

Related questions



Quick search syntax
tags tag:apple
author user:martin
title title:apple
content content:apple
exclude -tag:apple
force match +apple
views views:100
score score:10
answers answers:2
is accepted isaccepted:true
is closed isclosed:true

40,770 questions
47,478 answers
145,653 comments
62,241 users