Propositional Logic


Q41.

Which one of the first order predicate calculus statements given below correctly expresses the following English statement? Tigers and lions attack if they are hungry or threatened.
GateOverflow

Q42.

Which one of these first-order logic formulae is valid?
GateOverflow

Q43.

Consider the following propositional statements: P1:((A\wedge B)\rightarrow C)\equiv (A\rightarrow C)\wedge (B\rightarrow C) P2:((A\vee B)\rightarrow C)\equiv (A\rightarrow C)\vee (B\rightarrow C) Which one of the following is true?
GateOverflow

Q44.

Let Graph(x) be a predicate which denotes that x is a graph. Let Connected(x) be a predicate which denotes that x is connected. Which of the following first order logic sentences DOES NOT represent the statement: "Not every graph is connected"?
GateOverflow

Q45.

What is the first order predicate calculus statement equivalent to the following? Every teacher is liked by some student
GateOverflow