Latest Gate Aptitude Question SOLUTION: 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