Om de term "propositielogica" te definiëren, is het noodzakelijk om duidelijk te begrijpen wat "uiting" is.
Dus de verklaring iseen zin die grammaticaal correct en onjuist of waar is. Dit concept moet een bepaalde betekenis hebben. De uitdrukking "kanarie is een vogel" omvat bijvoorbeeld de volgende componenten: "kanarie" en "vogel".
Daarom zijn verklaringen een van de belangrijkste, eerste concepten van logica. Deze concepten zouden een specifieke situatie moeten beschrijven waarin ofwel een bevestiging van iets of een ontkenning zal zijn.
Een verklaring wordt als waar beschouwd als de conformiteit van de realiteit van de situatie wordt getraceerd bij het beschrijven ervan. Op zichzelf bepalen 'false' en 'truth' de waarheid van de uitspraken.
De logica van verklaringen bestaat uit eenvoudig encomplexe uitdrukkingen. Dus een verklaring die geen andere uitdrukkingen bevat, wordt als eenvoudig beschouwd. En te complex zijn uitdrukkingen die zijn afgeleid van eenvoudige, logisch gerelateerde verklaringen.
Klassieke zinlogica kan zijnvertegenwoordigd door de algemene theorie van aftrek. Dit is precies het deel van de logica dat de logische verbindingen beschrijft van eenvoudige uitdrukkingen die onafhankelijk zijn van de structuur van zinnen.
Het is onmogelijk om de conjunctie niet te noemen - moeilijkverklaring die is verkregen door twee eenvoudige uitdrukkingen te combineren met het woord "en". De waarheid van de samenstand wordt bevestigd door de betrouwbaarheid van alle uitspraken in de structuur. In het geval dat ten minste één van zijn leden vals is, heeft de hele conjunctie het teken 'vals'.
De conjunctie zelf dient om die complexe verklaringen te vormen die op dergelijke aannames zijn gebaseerd:
- elke uitdrukking (zowel eenvoudig als complex) kan waar of onwaar zijn;
- de waarheid van een complexe verklaring hangt rechtstreeks af van de waarheid van de verklaringen en de logische verbindingen daarin.
Bij het combineren van twee zinnen metde woorden "of" zijn al een disjunctie. In het dagelijks leven kan dit concept vanuit twee verschillende betekenissen worden bekeken. Ten eerste is dit een niet-exclusieve betekenis, die de waarheid van een uitdrukking impliceert, ongeacht of een van de twee waar is of dat ze beide zijn. Ten tweede stelt de exclusieve betekenis dat een van de uitdrukkingen waar is en de andere onwaar.
Формулы логики высказываний содержат специальные karakters. Dus in een disjunctie betekent het symbool V dat de uitdrukking waar is als ten minste een van de uitspraken waar is, en onwaar als beide leden onwaar zijn.
При определении импликации существует de verklaring dat de basis van de verklaring niet waar kan zijn bij een vals onderzoek. Met andere woorden, dit concept impliceert de afhankelijkheid van de waarheid of onwaarheid van een uitdrukking van de betekenis van de componenten en de manier waarop ze met elkaar verbonden zijn.
Hoewel implicatie best handig isvoor sommige doeleinden is het niet erg consistent met het begrijpen van conditionele relaties op een algemene manier. Dus hoewel het veel belangrijke kenmerken van het logische gedrag van de uiting behandelt, kan dit concept er geen adequate beschrijving van zijn.
De logica van verklaringen is erop gericht deze op te lossencentrale taak, zoals de scheiding van goede en verkeerde redeneringsschema's en systematisering van de eerste. Om het juiste resultaat te krijgen, moet u zich concentreren op speciale tekens die de een of andere vorm kunnen vertegenwoordigen. Vandaar de belangstelling voor ogenschijnlijk onbeduidende woorden als "of", "en", enz..
Verklaringenlogica heeft zelfs een eigen taal, bestaande uit de volgende elementen:
- bronsymbolen - variabelen, logische constanten en technische tekens;
- formules.
Voor een beter begrip van wat er is gezegd, is het nodig om naar specifieke voorbeelden te gaan. De conjunctie gebruikt bijvoorbeeld het & -symbool, de disjunctie de / / of º /.
