Difference between revisions of "Which of the following logic statements are valid?"

(→‎Which of the following predicate logic statements is/are valid?)
(→‎Which of the following predicate logic statements is/are valid?)
Line 5: Line 5:
  
 
(1) <math>\forall (x) P(x) \vee \forall(x)Q(x) \implies \forall (x) (P(x) \vee Q(x))</math>
 
(1) <math>\forall (x) P(x) \vee \forall(x)Q(x) \implies \forall (x) (P(x) \vee Q(x))</math>
 +
 +
(2) <math>\exists (x) P(x) \wedge \forall(x)Q(x) \implies \exists (x) (P(x) \wedge Q(x))</math>
 +
 +
(3) <math>\exists (x) (P(x) \vee Q(x)) \implies \forall (x) P(x) \vee \forall (x) Q(x)</math>
 +
 +
(4) <math>\exists (x) (P(x) \vee Q(x)) \implies \sim \forall (x) </math>
  
 
[[Category:Logical Inference]]
 
[[Category:Logical Inference]]

Revision as of 18:46, 23 February 2014


Which of the following predicate logic statements is/are valid?

(1) <math>\forall (x) P(x) \vee \forall(x)Q(x) \implies \forall (x) (P(x) \vee Q(x))</math>

(2) <math>\exists (x) P(x) \wedge \forall(x)Q(x) \implies \exists (x) (P(x) \wedge Q(x))</math>

(3) <math>\exists (x) (P(x) \vee Q(x)) \implies \forall (x) P(x) \vee \forall (x) Q(x)</math>

(4) <math>\exists (x) (P(x) \vee Q(x)) \implies \sim \forall (x) </math>

Retrieved from "https://gatecse.in/w/index.php?title=Which_of_the_following_logic_statements_are_valid%3F&oldid=2570"


Which of the following predicate logic statements is/are valid?[edit]

(1) <math>\forall (x) P(x) \vee \forall(x)Q(x) \implies \forall (x) (P(x) \vee Q(x))</math>