Afleidingsregel
regels in logica
In de logica is een afleidingsregel een regel die uit een aantal proposities een propositie afleidt. De proposities waar de propositie uit afgeleid wordt, worden de premissen genoemd en de afgeleide propositie de conclusie: de conclusie wordt geconcludeerd (of afgeleid) uit de premissen.
Een afleidingsregel kan als volgt genoteerd worden:
- premisse 1
- premisse 2
- ...
- premisse n:
- conclusie
of:
- premisse 1, premisse 2, ..., premisse n
- conclusie
Voorbeelden
bewerkenVoorbeelden van afleidingsregels in de klassieke propositielogica:
Afleidingsregels voor predicatenlogica maken gebruik van kwantoren, zoals:
- Existentiële instantiatie
, waarbij c0 een nieuwe constante is.
- Universele instantiatie
, waarbij c0 een al eerder gebruikte (bekende) constante is.
🔥 Top keywords: HoofdpaginaSpeciaal:ZoekenEuropees kampioenschap voetbal 2024Lijst van Formule 1 Grand Prix-winnaarsEuropees kampioenschap voetbal mannenMax VerstappenDagestanWout WeghorstChatGPTJulian NagelsmannKoen CasteelsJamal MusialaYann SommerArnaud De LieRomelu LukakuMemphis DepayRaven van DorstKevin De BruyneOmvolkingBuitenspel (voetbal)Murat YakinArthur TheateSpecial:MyPage/zeusmodepreferences.jsLouisa JanssenCristiano RonaldoEric GeretsJoshua ZirkzeeSam SmithBelgisch kampioenschap wielrennen voor heren elite met contractWereldkampioenschap voetbalToni KroosDan NdoyeNederlands voetbalelftal (mannen)John van 't SchipEuropees kampioenschap voetbal 2020Deep PurpleVirgil van DijkNederlandJorrit Faassen