Zoekresultaten

De '''epistemische logica''' is een vorm van [[modale logica]] waarin [[Kennis (wetenschap)|kennis]] kan worden gemodelleerd. …'' de kennis ''φ'' bezit (''K_aφ''). Daarmee is een multi-modale logica gevormd. Met behulp van deze operatoren kan ook [[gemeenschappelijke kennis …

…eurt met name in de gewone [[taalkunde]], de [[computertaalkunde]] en de [[logica]]. Metataal is daarmee tot op zekere hoogte [[autologisch]] van aard. …bijvoorbeeld algemene taalkundige vaststellingen weergegeven worden als [[Logica (wetenschap)|logische]] stellingen, bijvoorbeeld ''Jantje speelt'' kan voor …

…/math>, {{Sc|not}}) alleen wordt toegepast op atomaire formules en waarbij de enige andere toegestane [[Booleaanse algebra|booleaanse operatoren]] [[Logi …land b) \lor (a \land \lnot c)</math> zijn gelijkwaardig, en zijn beide in de negatie-normaalvorm. …

…en onweerlegbare (logische) [[gevolgtrekking]]. In de axiomatische formele logica wordt het als volgt gedefinieerd: …th> een deductieve consequentie van <math>H</math>, dan en slechts dan als de conjunctie van alle goedgevormde logische formules uit <math>H</math>, <ma …

{{Zie artikel|Voor de meta-ethische these over morele inzichten, zie [[Ethisch intuïtionisme]]}} …belangrijke vertegenwoordigers waren. Zij werkten aan de [[grondslagen van de wiskunde]] en hebben geprobeerd een nieuw [[formeel systeem]] op te zetten. …

…kunde]], [[informatica]], [[natuurwetenschappen]] en [[Logica (wetenschap)|logica]]. …oste-effect]], waarbij een volgende constructie een verkleind beeld is van de voorgaande. …

…ties]] tussen verzamelingen objecten worden beschreven. Vaak wordt vooral de eerste-orde-predicatenlogica bedoeld. De eerste-orde-predicatenlogica is een uitbreiding van de [[propositielogica]]. …

…ca (wetenschap)|logicus]] [[Alfred Horn]], die deze in [[1951]] behandelde in zijn publicatie "''On sentences which are true of direct unions of algebras in ''[[Association for Symbolic Logic|Journal of Symbolic Logic]]''. …

…ema het bestaan van een deelverzameling bestaande uit de elementen die aan de eigenschap voldoen. :<math>Y=\{u\in X:\varphi(u,p)\}</math> …

…e [[logica (hoofdbetekenis)|logica]], de [[taalkunde|linguïstiek]] en de [[informatica]]. Venndiagrammen zijn nauw verwant aan [[Euler-diagram|eulerdiagrammen]]. …rechts <math>B</math>) worden in venndiagrammen voorgesteld door cirkels. De rode delen geven aan: …

…andeert het bestaan van ten minste een [[oneindige verzameling]], namelijk de verzameling van alle [[natuurlijk getal]]len. In de [[formele taal]] van de Zermelo-Fraenkel-axioma's luidt het axioma: …

…f onwaar]] aan de [[Atoom (logica)|atomaire formules]] bestaat zodanig dat de gehele propositie waar is. …p_1 \vee p_3) \wedge (p_2 \vee p_5)</math> is bijvoorbeeld vervulbaar want de propositie kan vervuld worden met p₂ = waar en p₃ =… …

In de [[wiskunde]], waaronder de [[wiskundige logica]], en de [[informatica]] is een '''uitdrukking''' of '''expressie''' een taalfragment dat een waar …en er niets na het plusteken staat. De eerste uitdrukking heet welgevormd, de tweede uitdrukking is niet welgevormd. …

…[[Logische disjunctie|'of']] en [[Logische negatie|negatie]] voor, waarbij de negatie alleen als onderdeel van een literaal kan voorkomen. Er bestaat ook …butiviteit]]) die de formule omschrijven naar een logisch equivalente vorm in CNF. …

…th>, <small>OF</small> of <small>OR</small>) een [[logische operator]] met de betekenis "en/of". …B</math> onwaar zijn, en waar in alle andere gevallen. De disjunctie heeft de volgende [[waarheidstabel]]: …

…aïsche structuur die van fundamenteel belang is in zowel de [[logica]] als de [[verzamelingenleer]]. …was een belangrijke mijlpaal in de formele ontwikkeling van de wiskundige logica, aangezien het aantoonde dat een Booleaanse algebra volledig gekarakterisee …

…s, waarbij het doel is om bewijzen te vereenvoudigen die gebruik maken van de cut-regel. …kt van de '''cut-regel''', ook een bewijs heeft dat geen gebruik maakt van de cut-regel (een '''cut-vrij bewijs'''). …

…rprogramma|programma's]] te redeneren. Ze is vernoemd naar de bedenker van de basis van het mechanisme, [[Tony Hoare]]. …xiomatic basis for computer programming'' geïntroduceerd. Aan de basis van de hoarelogica staat het hoaretripel: …

…gische formules, wiskundige termen, en veel structuren uit de theoretische informatica, zoals [[Boom (datastructuur)|bomen]]. de eigenschap dan geldt voor alle objecten in de verzameling. …

…te zijn worden axioma's genoemd, de nieuwe uitdrukkingen heten [[stelling (logica)|stelling]]en. …sitie-]], [[predicatenlogica|predicaten-]] en andere [[logica (wetenschap)|logica]]'s. …