• Serie di frasi riferite ad un contesto, in cui una, detta conseguenza, segue dalle altre, dette premesse.

Logicamente valido

• un ragionamento di dice logicamente valido in un contesto se e solo se la conseguenza e vera in tutte le circonstanze dove le premmese sono vere.

<aside> 💩 Per dimostrare che un ragionamento non è valido si mostra un controesempio (una circonstanza in cui tutte le premesse sono vere e la conseguenza è falsa).

</aside>