Question: Logic true/false Questions

Hi, Can Maples Logic package solve these problems?

How can they be formulated and solved in Maple? rgds

Let's say that the following arguments are true: Some gatekeepers are warriors. Some warriors are cowards. Therefore, we can conclude that some gatekeepers must be cowards. Is this conclusion true or false? answer: F

 Let's say that the following arguments are true: All Parkers are Franks. All Franks are smart. Therefore, we can conclude that all Parkers must be smart. Is this conclusion true or false? T

 Let's say that the following arguments are true: Some criminals are millionaires. All tycoons are millionaires. Therefore, we can conclude that some criminals must be tycoons. Is this conclusion true or false? F

 Let's say that the following arguments are true:

All sales are cheats. No cheats are bargains. Therefore, we can conclude that no bargains can be sales. Is this conclusion true or false? T