Teaching UGC NET Mock Test Series 2025 (Paper 1 & 2) Engineering Mathematics Mathematical Logic Propositional Logic
Consider the following two well-formed formulas in prepositional logic.
F1: \(P \Longrightarrow \neg \;P\)
F2: \((P \Longrightarrow \neg \;P) \;\vee\; (\neg \; P \Longrightarrow P)\)
Which of the following statements is correct ?
1
F1 is Satisfiable, F2 is valid
2
Fl is unsatisfiable, F2 is Satisfiable
3
F1 is unsatisfiable, F2 is valid
4
Fl and F2 both are Satisfiable