If F1, F2 and F3 are propositional formulae such that F1 ^ F2 → F3 and F1 ^ F2→F3 are both tautologies, then which of the following is TRUE?

Question

TuteeHUB · Accepted Answer

Both F1 and F2 are tautologies

TuteeHUB · Answer

The conjuction F1 ^ F2 is not satisfiable

TuteeHUB · Answer

None of these

TuteeHUB · Answer

Neither is tautologies

1.	If F1, F2 and F3 are propositional formulae such that F1 ^ F2 → F3 and F1 ^ F2→F3 are both tautologies, then which of the following is TRUE?
A.	The conjuction F1 ^ F2 is not satisfiable
B.	Both F1 and F2 are tautologies
C.	None of these
D.	Neither is tautologies
Answer» B. Both F1 and F2 are tautologies

Discussion