Which one of the following statement follows from S1andS2 as per inference rules of logiv ?
A
Some explantions are clear excuses
No worries! We‘ve got your back. Try BYJU‘S free classes today!
B
Every excuses are not clear explanations.
No worries! We‘ve got your back. Try BYJU‘S free classes today!
C
Some excuses are not clear explanations
Right on! Give the BNAT exam to get a 100% scholarship for BYJUS courses
D
Some excuses are clear explanations.
No worries! We‘ve got your back. Try BYJU‘S free classes today!
Open in App
Solution
The correct option is C Some excuses are not clear explanations S1:∀x(clear(x)→(satisfactory(x)) S2:∃(Excuse(x)∧¬satisfactory(x)) S1byusingcontrapositiverule S3:∀x(¬satisfactory(x)→¬clear(x)) ByusingS2andS3 ∃x(excuse(x)→notclear(i))i.e.,someexcusesarenotclearexplanation