Gyldige argument

Eit argument er gyldig eller holdbart hvis konklusjonen er en logisk konsekvens av mengden av premisser: Hvis solen skinner, så er jeg glad: (S->G) Hvis S sann så G sann, dermed er G ein logisk konsekvens av mengda som består av (S->G) og S