Gate Exam

Consider two well-formed formulas in prepositional logic
El: P - iP
E2: (Pi - iP)v(--iPiP)
Which of the following statements is correct?
(a) Fl is satisfiable, F2 is valid
(b) Fl unsatisfiable, F2 is satisfiable
(c) Fl is unsatisfiable, F2 is valid
(d) Fl and F2 are both satisfiable

Read Solution (Total 0)

Gate Other Question

Consider the following relations:
R1 (a,b) iff (a+b) is even over the set of integers
R2 (a,b) iff (a+b) is odd over the set of integers
R3 (a,b) iff a.b > 0 over the set of non-zero rational numbers
R4 (a,b) iff a + bi 2 over the set of natural numbers
Which of the following statements is correct?
(a) Ri and R2 are equivalence relations, R3 and R4 are not
(b) Ri and R3 are equivalence relations, R2 and R4 are not
(c) Ri and R4 are equivalence relations, R2 and R3 are not
(d) Ri, R2, R3 and R4 are all equivalence relations How many 4-digit even numbers have all 4 digits distinct?
(a) 2240
(b) 2296
(c) 2620
(d) 4536