Diketahui premis-premis sebagai berikut: Premis 1: Jika

Hari ini tidak hujan deras.

Pembahasan

Premis 1: Jika hujan deras (P), maka Amir tidak bermain bola (Q). (P -> Q)
Premis 2: Amir bermain bola (bukan Q).
Kesimpulan yang sah adalah hari ini tidak hujan deras (bukan P).
Ini menggunakan prinsip modus tollens (jika P maka Q; bukan Q; maka bukan P).

Jadi, kesimpulan yang sah adalah hari ini tidak hujan deras.