Translate the following arguments into symbolic form. Then use the quantifier negation rule and the...

Question

Translate the following arguments into symbolic form. Then use the quantifier negation rule and the eighteen rules of inference to derive the conclusion of each. Do not use either conditional proof or indirect proof.

If all the physicians are either hematologists or neurologists, then there are no cardiologists. But Dr. Frank is a cardiologist. Therefore, some physicians are not neurologists. (P, H, N, C)

David · Accepted Answer

Solution:- 
Argument form: 
Argument from is an arrangement of the statement variables and operators so that  
When statement Variables and operators are replaced by statements, argument,  
Argument is formed. It is a logical from of an argument.
Consider the question provided in the textbook: 
Statement 1: If all the physicians are either hematologists or neurologist, then there are no cardiologists 
1.( )[ ( )] ( )x Px Hx Nx x Cx   
  
2. Cf 
Conclusion: Therefore, some physicians are not neurologists. 
( )( . )
:
x Px Nx
Cconsider the following permises

  
1.( )[ ( )] ( )x Px Hx Nx x Cx   
  
2. Cf                                
                                                           //
( )( .

Translate the following arguments into symbolic form. Then use the quantifier negation rule and the eighteen rules of inference to derive the conclusion of each. Do not use either conditional proof or...

Solution

Answer To This Question Is Available To Download

Related Questions & Answers

Submit New Assignment