1 votes 1 votes Consider the following two well-formed formulas in prepositional logic. $F1 : P \Rightarrow \neg P$ $F2: (P \Rightarrow \neg P) \vee (\neg P \Rightarrow P)$ Which of the following statements is correct? $F1$ is Satisfiable, $F2$ is valid $F1$ is unsatisfiable, $F2$ is Satisfiable $F1$ is unsatisfiable, $F2$ is valid $F1$ and $F2$ both are Satisfiable Unknown Category ugcnetcse-nov2017-paper3 + – Arjun asked Nov 5, 2017 • edited Jul 6, 2020 by go_editor Arjun 629 views answer comment Share Follow See 1 comment See all 1 1 comment reply Raveena Yadav 1 commented Feb 1, 2018 reply Follow Share ans is 1 0 votes 0 votes Please log in or register to add a comment.
0 votes 0 votes https://gateoverflow.in/696/gate2001-1-3 Raveena Yadav 1 answered Feb 1, 2018 Raveena Yadav 1 comment Share Follow See all 0 reply Please log in or register to add a comment.
0 votes 0 votes Answer (1) F1 evaluates to P' which is true at P = 0. However, at P = 1, it is equal to 0. Thus, F1 is satisfiable but not valid F2 evalautes to 1 (valid) irrespective of the value of P. GoalSet1 answered Aug 22, 2019 GoalSet1 comment Share Follow See all 0 reply Please log in or register to add a comment.