Buatlah tiga contoh silogisme kategorikal, masing-masing menggunakan bentuk Barbara, Celarent, dan Darii. Analisis mengapa bentuk Barbara dianggap valid secara logis sementara variasi tertentu seperti Darapti memerlukan asumsi eksistensial tambahan.