All girls are tall. Anyone who is tall and dark will pass. Claire is a girl. Conclusion: Claire will pass.

atarentspe

atarentspe

Answered question

2022-09-07

Validity of arguments in discrete math
All girls are tall.
Anyone who is tall and dark will pass.
Claire is a girl.
Conclusion: Claire will pass.
converting the statements to predicate logic:
- G ( x ) = x is a girl
- A ( x ) = x is tall
- B ( X ) = x is dark
- C ( x ) = x passes
( x ) [ G ( x ) A ( x ) ] ( x ) [ [ A ( x ) B ( x ) ] C ( x ) ] G ( c ) A ( c ) .....................c stands for claire
Am i right till now? and please help me proceed to finish the problem .

Answer & Explanation

Sharon Dawson

Sharon Dawson

Beginner2022-09-08Added 20 answers

Step 1
Premise 3 should just be G(c), Claire is a girl.
Then from premise 1 and the rule of Universal Elimination you have G ( c ) A ( c ) as statement four.
Premise 3, statement 4, and modus ponens will then give A(c) as statement 5.
Step 2
1 x   ( G ( x ) A ( x ) Premise  1 2 x   ( ( A ( x ) B ( x ) ) C ( x ) ) Premise  2 3 G ( c ) Premise  3 4 G ( c ) A ( c ) 1 , E 5 A ( c ) 3 , 4 , E

Do you have a similar question?

Recalculate according to your conditions!

New Questions in Discrete math

Ask your question.
Get an expert answer.

Let our experts help you. Answer in as fast as 15 minutes.

Didn't find what you were looking for?