ABOUT BOOK

Het vak Redeneren en Logica gaat over redeneringen en hun geldigheid. Een redenering bestaat uit een aantal premissen, en een conclusie. Een redenering is geldig wanneer de conclusie altijd waar is wanneer de premissen dat zijn. Het kan, wanneer een redenering geldig is, dus niet voorkomen dat de premissen waar zijn, en de conclusie onwaar. Zo'n situatie heet een tegenvoorbeeld, en dat toont aan dat een redenering ongeldig is. Wanneer een redenering geldig is, heet hij een stelling ("theorem" in het engels), en kan men de conclusie afleiden uit de aannanme dat de premissen waar zijn. Zo'n afleiding heet een bewijs.