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 ?

Question

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 ?

TuteeHUB · Accepted Answer

Fl is unsatisfiable, F2 is Satisfiable

TuteeHUB · Answer

F1 is Satisfiable, F2 is valid

TuteeHUB · Answer

F1 is unsatisfiable, F2 is valid

TuteeHUB · Answer

Fl and F2 both are Satisfiable

1.	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 ?
A.	F1 is Satisfiable, F2 is valid
B.	Fl is unsatisfiable, F2 is Satisfiable
C.	F1 is unsatisfiable, F2 is valid
D.	Fl and F2 both are Satisfiable
Answer» B. Fl is unsatisfiable, F2 is Satisfiable

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 ?

Discussion

No Comment Found

Related MCQs

Reply to Comment