Mathematical Logic

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. Both F1 and F2 are tautologies
B. The conjuction F1 ^ F2 is not satisfiable
C. Neither is tautologies
D. None of these
 

Answer : B

Explanation :

Write your comments here:


Report Error
 

Option: A

Explanation : Explanation will come here. Explanation will come here. Explanation will come here. Explanation will come here. Explanation will come here.