Trong logic hình thức, các tiền đề "Mọi người đều phải chết" và "Socrates là một người" là các thành phần của một tam đoạn luận dẫn đến kết luận "Socrates phải chết".
Để giải thích về các lập luận logic cho cả lớp, giáo viên đã sử dụng một tam đoạn luận kinh điển: "Tất cả mọi người đều phải chết; Socrates là một người; vậy nên, Socrates phải chết."