In: Computer Science
Use rules of inference to show that the hypotheses “Every student in Computer science major needs to take CSCI2000,” “Every student who takes CSCI2000 knows how to program in JAVA” imply the conclusion “Every student in Computer science major knows how to program in JAVA.”