Correctheid (logica): verschil tussen versies

Verwijderde inhoud Toegevoegde inhoud
Woudpiek (overleg | bijdragen)
k Onfris voorbeeld
Goed... maar dat was weer erg buiten de context: zo dan?
Regel 5:
''Voorbeeld'':
'''A'''. Lucretius is een filosoof.
'''B'''. Alle filosofen zijn profvoetballersonbetrouwbaar.
'''C'''. Dus Lucretius is ook een profvoetballeronbetrouwbaar.
 
Deze redenering is '''geldig''' omdat, als je de premissen '''A''' en '''B''' voor waar aanneemt, de conclusie '''C''' noodzakelijk volgt. Zij is echter '''niet gezond''' omdat de premisse '''B''' niet evident waar is.