Propositielogica

Om de term "propositielogica" te definiëren, is het noodzakelijk om duidelijk te begrijpen wat is een "statement".

Dus, de verklaring is een zin, gerangschikt grammaticaal correct, en vals of waar. Dit begrip moet een zekere betekenis uit te drukken. Bijvoorbeeld, de uitdrukking "kanarie heeft een" bevat de volgende onderdelen: "kanarie" en "vogel".

Dat is de reden waarom een van de belangrijkste initiële concepten van logica en zeggen. Deze concepten moeten een specifieke situatie waarin de uitspraak is ofwel iets of ontkenning te beschrijven.

Het wordt beschouwd als een ware uitspraak, als het overgetrokken lijn realiteit van de situatie wanneer het wordt omgeschreven. Op zichzelf, "false" en "true" bepalen de waarheid van de verklaringen.

Propositielogica bestaat uit eenvoudige en complexe expressies. Dus, denk maar aan de uitspraak dat niet is opgenomen in de samenstelling andere uitingen. En om het complex zijn uitdrukkingen die zijn afgeleid van een eenvoudige, logisch verbonden statements.

Klassieke propositielogica kan worden weergegeven door de algemene theorie van deductie. Het is dat deel van de logica, die niet beschrijft afhangen van de overzichten van logische verbinding van eenvoudige expressies.

een moeilijke stelling verkregen door het combineren van twee eenvoudige expressies gebruik van het woord "en" - niet te vergeten de voegwoorden noemen. De waarheid van de samenwerking bevestigen dat alle verklaringen in zijn structuur. In het geval waarin ten minste één van zijn leden een valse, de hele verbinding is een teken van "a lie."

Zelf is een combinatie van de complexe instructies, die zijn gebaseerd op veronderstellingen vormen:

- de uitdrukking (en eenvoudige en complexe) kan waar of onwaar zijn;

- de waarheid van het complex uitingen hangt af van de waarheid van de daarin opgenomen verklaringen en de logische verbindingen erin.

Bij het aansluiten van twee verklaringen gebruik van het woord "of" wordt nu al de scheiding verkregen. In het dagelijks leven, kan dit concept worden bekeken vanuit het perspectief van twee verschillende betekenissen. Ten eerste is het niet-exclusieve zin, dat de waarheid van uitdrukking betekent, ongeacht de werkelijke expressie van een van beide of zij die van de twee. Ten tweede, het elimineren van de zin stelt dat een van de uitdrukkingen waar is, en de andere - is vals.

Propositionele formules bevatten speciale tekens. Dus in de disjunctie symbool V geeft aan dat de expressie waar als de waarheid van ten minste één van de verklaringen en false als zowel haar valse penis.

Bij het bepalen van de implicatie is er de bewering dat de basis uitspraken niet waar kan zijn op het verkeerde onderzoek. Met andere woorden, dit begrip impliceert afhankelijkheid waarheid van de expressie van de waarde van de samenstellingen en werkwijzen voor hun relaties.

Ondanks het feit dat de implicatie is zeer handig voor sommige doeleinden, het is niet erg consistent is met de conventionele begrip van de communicatie in het algemeen. Dus, als het omringt het toestel veel van de belangrijke kenmerken van het logische gedrag van de verklaringen begrip kan een adequate beschrijving van het niet zijn.

Propositielogica gericht op het oplossen zo'n centrale taak, de scheiding van juiste en onjuiste schakelingen redeneren en systematisering eerste. Om het juiste resultaat te krijgen, moet u zich richten op de speciale tekens die een of andere vorm kan vertegenwoordigen. Vandaar aangegeven belangstelling voor dergelijke schijnbaar onbeduidende woorden zoals "of" "en," etc.

Logic verklaringen heeft zelfs een eigen taal, bestaande uit de volgende elementen:

- de originele personages - variabelen, logische constanten, en technische symbolen;

- formules.

Voor een beter begrip van wat er is gezegd moet je naar specifieke voorbeelden. Bijvoorbeeld, de combinatie gebruikt het symbool en, disjunctie - \ / or \ ° /.