Question 1 -mandatory- The following diagram provides a Venn diagram check of the soundness of a sound syllo- gism. Which syllogism does it check? (N.B. the order of premises or variables may differ...

Plz show full steps and working. This is from my logic and computation course and we use the notation a |= b, b |= c therefore a |=c. This is known as Barbara. Provide explanation also.


Extracted text: Question 1 -mandatory- The following diagram provides a Venn diagram check of the soundness of a sound syllo- gism. Which syllogism does it check? (N.B. the order of premises or variables may differ from the tables of sound syllogisms.) a Explain why there is no shading in the bottom diagram although corresponding portions of the central diagram are shaded.