definiëren van de term "propositielogica ', moet u goed begrijpen wat de" verklaring. "
Dus de verklaring is een suggestie, op volgorde grammaticaal correct, en vals of waar.Dit begrip moet een bepaalde betekenis uit te drukken.Bijvoorbeeld, de zin "kanarie vogels hebben" omvat de volgende onderdelen: "kanarie" en "Bird".
Daarom is een van de belangrijkste initiële concepten van logica en zegt.Deze concepten zijn op de specifieke situatie waarin de uitspraak is ofwel iets of ontkenning te beschrijven.
True beschouwd te zeggen, als getraceerd lijn realiteit van de situatie wanneer het wordt omschrijvende.Zich "false" en "echte" definiëren een ware uitspraak.
logische verklaringen bestaat uit eenvoudige en complexe expressies.Dus, denk maar aan de uitspraak dat niet is opgenomen in de samenstelling van andere uitingen.En het complex zijn uitdrukkingen die zijn afgeleid van de eenvoudige, logisch onderling statements.
klassieke propositielogica kan worden voorgesteld door de algemene theorie van de aftrek.Het is dat deel van de logica, die niet beschrijft afhankelijk van de structuur van zinnen logische verbindingen eenvoudige expressies.Een complexe verklaring, verkregen door het combineren van twee eenvoudige uitdrukkingen met het woord "en" -
Niet om de voegwoorden noemen.De waarheid van de combinatie bevestigt de correctheid van de verklaringen in de structuur.In het geval waarin ten minste één van de leden onwaar, de hele verbinding is een teken van "a lie. '
combinatie zich dient om de complexe verklaringen, die zijn gebaseerd op deze veronderstellingen vormen:
- elke uitdrukking (zowel eenvoudige als complexe) kunnen waar of onwaar zijn;
- de waarheid van de complexe uitingen hangt af van de waarheid van de verklaringen in het en de logische verbanden in.
Bij het samenvoegen van twee verklaringen met het woord "of" heeft al een scheiding verkregen.In het dagelijks leven, kan dit concept worden gezien vanuit twee verschillende betekenissen.Ten eerste is het niet-exclusieve zin, die de geldigheid van expressie brengt, ongeacht de werkelijke expressie van één of twee zodanig zijn ze allebei.Tweede, waardoor de zin stelt dat een van de uitdrukkingen waar is, en de andere - is vals.
formules van propositielogica bevatten speciale tekens.Dus in de disjunctie symbool V duidt het feit dat de expressie waar de waarheid van ten minste één van de verklaringen en onwaar als beide leden zijn vals.
Bij het bepalen van de implicatie is er een verklaring te zeggen dat de basis niet waar kan zijn op het verkeerde onderzoek.Met andere woorden, dit concept impliceert afhankelijkheid waarheid of onwaarheid van de uitdrukking van de waarde van de onderdelen en de methoden van hun relaties.
Hoewel de implicatie is zeer bruikbaar voor sommige doeleinden, is het niet zeer consistent met het begrip van de geconditioneerde verbinding in het algemeen.Dus in veel belangrijke eigenschappen omringt het apparaat logische gedrag zeggen dat dit concept kan een adequate beschrijving van het niet.
logica van de uitspraken die gericht zijn op het aanpakken van dit centrale probleem, zoals de scheiding van goed en kwaad redeneren regelingen en systematisering van de eerste.Om de juiste resultaat te krijgen, moet u zich richten op de speciale tekens die een of andere vorm kan vertegenwoordigen.Vandaar de aangewezen belangstelling voor dergelijke schijnbaar onbelangrijke woorden zoals "en", "en," etc.
logische verklaringen heeft zelfs een eigen taal, die bestaat uit de volgende elementen:
- de oorspronkelijke personages - variabelen, constanten en logische technisch tekenen;
- formules.
Om te begrijpen wat er gezegd moet naar specifieke voorbeelden.Bijvoorbeeld met behulp van de combinatie symbool & amp;, disjunctie - \ / or \ ° /.
