Choose the correct symbolisation of the following argument: All women are brave; Some humans are women; therefore, some humans are brave.
A(x)(Wx ⊃ Bx), (∃x)(Hx . Wx) ⊢ (∃x)(Hx . Bx)
B(x)(Wx . Bx), (∃x)(Hx ⊃ Wx) ⊢ (∃x)(Hx ⊃ Bx)
C(∃x)(Wx ⊃ Bx), (x)(Hx . Wx) ⊢ (x)(Hx . Bx)
D(x)(Wx ⊃ Bx), (x)(Hx . Wx) ⊢ (∃x)(Hx . Bx)
🔒 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 →