Applied Logic - Old Questions

2. Translate the following arguments into symbolic form and then their formal proof of validity by using the suggested symbols

a) If Tarun or Neelam had come to college, the project will be finished, and the principle would have been pleased. Had the principle been pleased, all the teachers would have been commended. But all teachers were not commended. Therefore Tarun did not come to college. {T, N, F, P, C}

b) No geese are felines. Some birds are geese. Therefore, some birds are not felines. {G, F, B}