Propositional Logik

Fir de Begrëff "propositional Logik" definéieren, ass et néideg kloer ze verstoen wat ass eng "Ausso".

Also ass d'Ausso vun engem Saz, klasséiert grammatesch richteg, an ass falsch oder richteg. Dës Notioun muss eng gewësse Bedeitung auszedrécken. Zum Beispill, "huet Kanareninsel Vugel engem" den Ausdrock dëse Voleten ëmfaasst: "Kanareninsel" an "Vugel".

Dat ass firwat ee vun de Schlëssel éischt Konzepter vun Logik an si soten. Dës Konzepter muss eng spezifesch Situatioun beschreiwen an där d'Ausso entweder eppes oder Negatioun ass.

Et ass als eng richteg Ausso ze ginn, wann der verdanken Linn Realitéit vun der Situatioun, wou et ass circumscribing. Duerch selwer, "falsch" an "richteg" bestëmmen d'Wourecht vun der Aussoen.

Propositional Logik besteet aus einfach a komplex Ausdrock. Esou, dass just d'Ausso, datt net an hir Zesummesetzung aner Ausstralung heescht och. An der komplex och Ausstralung datt aus engem einfache, logesch wor verbonne Aussoen ofgeleet sinn.

Klassescher propositional Logik kann déi generell Theorie vun Ofsénkung vertruede ginn. Et ass dat en Deel vun Logik, déi op d'Aussoen vun logesch Verbindung vun einfache Ausstralung hänkt beschreift net.

Net der conjunctions ze ernimmen - eng schwiereg PROPOSITIOUN kritt vun kombinéiert zwee einfach Ausstralung mat dem Wuert "an". Der Wourecht vun der verzweifelt confirméieren datt all Virschléi a senger Struktur abegraff. Am Fall wou op d'mannst ee vun senge Memberen eng falsch, déi ganz verzweifelt ass en Zeechen vun "eng Ligen."

Selwer ass eng verzweifelt der komplex Aussoen ze Form, déi op dës anzeschätzen baséiert sinn:

- all Ausdrock (an einfach a komplex) kann entweder richteg oder falsch sinn;

- d'Wourecht vun der komplex Wuertmeldung hänkt op der Wourecht vun der Aussoen an et Texter an der logesch Linken op et.

Wann zwou Aussoen ëmklammen d'Wuert "oder" Hëllef ass schonn de Violonist kritt. Am alldeeglechen Liewen, kënnen dat Konzept vun der Perspektiv vun zwee verschidde Bedeitungen gekuckten ginn. Éischt, et ass net-exklusiv Sënn, deen der Wourecht vum Ausdrock heescht, egal vun der richteg Ausdrock vun enger vun den zwou oder sinn se déi vun der zwou. Zweet, behaapt de Sënn eliminéiert, datt ee vun den Ausdrock richteg ass, an déi aner - ass falsch.

Propositional Formelen Spezialzeechen dra. Also, an der Violonist Symbol bedeit V datt d'Ausdrock wann d'Wourecht vun op d'mannst eng vun den Aussoen, a falsch wann souwuel hir falsch Erliefnes richteg ass.

An Bestëmmung vun der deemno do ass d'Affirmatioun, datt d'Basis Aussoen net op déi falsch Enquête richteg kann. An anere Wierder, beinhalt dëst Konzept Ofhängegkeet Wourecht oder falsity vun den Ausdrock vun de Wäert vu senger Komponente a Methode vun hire Relatiounen.

Trotz der Tatsaach, datt de deemno fir e puer Zwecker ganz nëtzlech ass, gëtt et net ganz konsequent mat der konventionell Versteesdemech vun der Kommunikatioun am Allgemengen. Also, wann et Ëmfeld der Apparat vill vun der wichteg Fonctiounen vun der logesch Behuele vun der Konzept entscheet Aussoen kann net eng adequat Beschreiwung vun et ginn.

Propositional Logik bei erauszefannen wéi eng zentral Aufgab dofir geduecht, wéi d'Trennung vu richteg a falsch Kreesleef dofir wier an systematization éischt. Fir de Recht Resultat kréien, muss du op der speziellen Zeechen ze duerchbriechen, datt eng oder aner Form vertrieden kënnen. Dofir uginn Interessi an esou wuel net erklären gesäit Wierder wéi "oder", "a", etc.

Logik Aussoen och nach seng eege Sprooch, aus vun de folgenden Elementer:

- d'Original Zeeche - Verännerlechen, logesch léisst, an technesch Symboler;

- Formelen.

Fir e bessere Verständnis vun deem wat gesot ginn ass muss iech spezifesch Beispiller ginn. Zum Beispill, benotzen d'verzweifelt d'Symbol &, Violonist - \ / oder \ ° /.