ESPRESSIONE LOGICA

Dire su quale regola di deduzione si basa e si identifichino le premesse e le conclusioni del seguente ragionamento:
Se vado a ballare mi annoio. Questa sera andrò a ballare, quindi mi annoierò

image011

con:

a vado a ballare
b mi annoio

La premessa è image013  di cui image015 è la 1a premessa e a è  la 2a premessa. La conclusione è b  e la regola di deduzione è: MODUS PONENS