Diketahui premisP: Jika Toni memenangkan olimpiade

Toni tidak memenangkan olimpiade matematika.

Pembahasan

Premis P: Jika Toni memenangkan olimpiade matematika, maka Toni memperoleh medali emas. (Jika A maka B)
Premis Q: Toni tidak memperoleh medali emas. (B)
Dalam logika, jika kita memiliki premis "Jika A maka B" dan kita tahu bahwa B salah (Toni tidak memperoleh medali emas), maka kita dapat menyimpulkan bahwa A juga salah (Toni tidak memenangkan olimpiade matematika). Ini dikenal sebagai modus tollens.
Jadi, kesimpulan yang sah adalah Toni tidak memenangkan olimpiade matematika.