Express the following argument in symbolic form, and use the rules of inference and also MATLAB to show that it is logically valid.
Ben is a student or a taxi driver.
If Ben is a taxi driver, then he has a taxi licence.
Ben has a car but he does not have a taxi licence.
Therefore Ben is a student.
Comments
Leave a comment