Translate the following into the logical notation of propositional functions and quantifiers. In each case, use the abbreviation suggested. ‘No automobile that is over ten years old will be repaired if it is severely damaged.’ (Ax: x is an automobile. Ox: x is over ten years old. Rx: x will be repaired. Dx: x is severely damaged)
A(x)[(Ax·Ox) ⊃ (Dx ⊃ ∼Rx)]
B(x)[(∼Ax·Ox) ⊃ (Dx ⊃ ∼Rx)]
C(x)[(∼Ax·Ox) ⊃ (Dx ⊃ Rx)]
D(x)[(Ax·Ox) ⊃ (Dx ⊃ Rx)]
🔒 Answer hidden — practise on Mcqkart to check yourself and see the explanation.
Want more like this? Create a free account to practise a full test, track your progress, and get spaced-repetition review.
Practise on Mcqkart →🎓 Book an expert →