"Tüm A'lar B'dir. Hiçbir B C değildir. O halde hiçbir A C değildir." Bu argümanın geçerli olup olmadığını test etmek için aşağıdaki yöntemlerden hangisi kullanılır?
A) Önermelerin günlük hayatta doğru olup olmadığına bakmak
B) Mantıksal formunu incelemek
C) Tutarlı olup olmadığını kontrol etmek
D) İnsanların bu argümana inanıp inanmadığını araştırmak
