1. Raționamentul în limbaj formal logic:
P: Învăț
Q: Obțin note bune la Chimie
R: Înțeleg Chimia
Premise:
1. P → Q
2. P → R
Concluzie:
3. ¬Q ∨ ¬R → ¬P
2. Valoarea logică a " ; " este conjuncția logică (și), care indică că două sau mai multe propoziții sunt concomitent adevărate.
3. Raționamentul este valid. Este o formă de argument logic cunoscută sub numele de Modus Tollens. Este valid deoarece, dacă primele două premise sunt adevărate, concluzia trebuie să fie adevărată.