We werken aan het herstellen van de Unionpedia-app in de Google Play Store
UitgaandeInkomende
🌟We hebben ons ontwerp vereenvoudigd voor betere navigatie!
Instagram Facebook X LinkedIn

Formeel bewijs

Index Formeel bewijs

Formeel bewijs in de formele wetenschap is een eindige reeks proposities (goedgevormde formules in formele taal) binnen het kader van de beschrijving van formele systemen waarbij elke propositie door middel van afleidingsregels uit voorafgaande proposities of axiomas kan worden afgeleid.

Inhoudsopgave

  1. 24 relaties: Afleidingsregel, Axioma, Axiomatische methode, Betekenis, Bewijstheorie, Deductief systeem, Formeel systeem, Formele taal, Formele wetenschap, Grammatica, Informatica, Interpretatie (logica), Logisch gevolg, Natuurlijke taal, Propositie, Referent (taalkunde), Rij (wiskunde), Semantiek, Stelling (wiskunde), Symbool, Taal, Theoretische taalkunde, Wiskundig bewijs, Wiskundige logica.

  2. Formele taal

Afleidingsregel

In de logica is een afleidingsregel een regel die uit een aantal proposities een propositie afleidt.

Bekijken Formeel bewijs en Afleidingsregel

Axioma

Een axioma (of postulaat) is in de wiskunde en de logica, sinds Euclides en Aristoteles, een niet bewezen, maar als grondslag aanvaarde bewering.

Bekijken Formeel bewijs en Axioma

Axiomatische methode

De axiomatische methode is een wijze van argumentatie in de formele wetenschappen (m.n. wiskunde en logica) waarbij resultaten worden gepresenteerd als een reeks stellingen die een voor een worden afgeleid uit een stelsel van axiomata en definities.

Bekijken Formeel bewijs en Axiomatische methode

Betekenis

De betekenis is datgene in de werkelijkheid waarnaar door middel van een teken (een woord, gebaar, voorwerp of andersoortige betekenisdrager die verwijst naar een betekenis) wordt verwezen.

Bekijken Formeel bewijs en Betekenis

Bewijstheorie

Bewijstheorie is een tak van de wiskundige logica die bewijzen als formele wiskundige objecten opvat.

Bekijken Formeel bewijs en Bewijstheorie

Deductief systeem

Een deductief systeem - dat ook wel het deductieve apparaat van een formeel systeem wordt genoemd - is in de systeemtheorie een reeks axioma's en/of een axiomaschema met behulp waarvan theorema's worden afgeleid als formeel bewijs.

Bekijken Formeel bewijs en Deductief systeem

Formeel systeem

Een formeel systeem is een combinatie van een formele taal en een verzameling afleidings- of transformatieregels of axioma's die zinnen in de formele taal omzetten in nieuwe zinnen.

Bekijken Formeel bewijs en Formeel systeem

Formele taal

De term formele taal heeft ten minste drie verwante betekenissen.

Bekijken Formeel bewijs en Formele taal

Formele wetenschap

Formele wetenschap is de wetenschap van formele systemen, zoals logica, wiskunde, systeemtheorie, en de theoretische aspecten van informatica, informatiewetenschap, besluitvormingstheorie, statistiek en linguïstiek.

Bekijken Formeel bewijs en Formele wetenschap

Grammatica

Grammaticaboekje uit 1735. De spraakkunst, spraakleer of grammatica is binnen de theoretische taalkunde de benaming voor de studie, beschrijving en verklaring voor alles dat met de systematiek van een natuurlijke taal of kunsttaal te maken heeft.

Bekijken Formeel bewijs en Grammatica

Informatica

Informatica richt zich op de theoretische grondslagen van informatie, de mechanische (automatische) verzameling en verwerking ervan, evenals de praktische toepassingen die eruit voortvloeien.

Bekijken Formeel bewijs en Informatica

Interpretatie (logica)

Met interpretatie wordt in de logica de extensie van symbolen en strings aan de hand van tupels bedoeld.

Bekijken Formeel bewijs en Interpretatie (logica)

Logisch gevolg

Een logisch gevolg of logische consequentie is zowel in de logica als in de wiskunde de tweeplaatsige relatie tussen een verzameling zinnen en/of proposities, waarbij de laatste zin/propositie een logische implicatie is van de voorafgaande.

Bekijken Formeel bewijs en Logisch gevolg

Natuurlijke taal

Een natuurlijke taal of etnische taal is in de taalfilosofie elke levende of dode taal die door een aantal mensen als hun moedertaal wordt of werd beschouwd.

Bekijken Formeel bewijs en Natuurlijke taal

Propositie

Een propositie of bewering is in de logica een declaratieve zin die of waar of onwaar kan zijn.

Bekijken Formeel bewijs en Propositie

Referent (taalkunde)

In de semantiek wordt met referent een entiteit, gebeurtenis of eigenschap in de - doorgaans buitentalige - werkelijkheid bedoeld waar met talige elementen (woorden, zinsdelen of hele zinnen) naar verwezen wordt.

Bekijken Formeel bewijs en Referent (taalkunde)

Rij (wiskunde)

Voorbeeld van een oneindige rij die niet stijgend, niet dalend en niet convergent, maar wel begrensd is In de wiskunde is een rij een opeenvolging van objecten, die elementen of termen van de rij worden genoemd.

Bekijken Formeel bewijs en Rij (wiskunde)

Semantiek

De semantiek of betekenisleer is een wetenschap die zich bezighoudt met de betekenis van symbolen, waarbij het in het bijzonder de bouwstenen van natuurlijke talen die voor de communicatie dienen ofwel woorden en zinnen betreft.

Bekijken Formeel bewijs en Semantiek

Stelling (wiskunde)

bewijzen. In de wiskunde is een stelling (ook theorema, propositie of these) een bewering, die op basis van axioma's en eerder bewezen beweringen is bewezen.

Bekijken Formeel bewijs en Stelling (wiskunde)

Symbool

Symbolen op een grafsteen Symbolen op een speelkaart Een symbool of zinnebeeld is een teken waarbij geen natuurlijke relatie bestaat tussen de representatie van het teken en de betekenis die ermee wordt uitgedrukt.

Bekijken Formeel bewijs en Symbool

Taal

Spijkerschrift is de oudst overgeleverde vorm van geschreven taal. Taal is een systeem van tekens – zoals gesproken klanken, gebaren, of geschreven symbolen – waarvan de mens gebruikmaakt om zijn gedachten te articuleren, zijn wereld te ordenen en te communiceren.

Bekijken Formeel bewijs en Taal

Theoretische taalkunde

De theoretische taalkunde is het onderdeel van de algemene taalkunde dat zich voornamelijk bezighoudt met het ontwikkelen van grammaticamodellen.

Bekijken Formeel bewijs en Theoretische taalkunde

Wiskundig bewijs

zijde is. Het is een bewijs door constructie Een wiskundig bewijs is het volgens formele regels aantonen dat, gegeven bepaalde axioma's, een bepaalde stelling waar is.

Bekijken Formeel bewijs en Wiskundig bewijs

Wiskundige logica

De wiskundige logica is een deelgebied van de wiskunde.

Bekijken Formeel bewijs en Wiskundige logica

Zie ook

Formele taal