Өтініштердің логикасы

«Ұсыныс логикасы» терминін анықтау үшін «сөйлеу» дегеннің не екенін түсіну керек.

Демек, өтініш - бұл грамматикалық түрде дұрыс және жалған немесе шындық деген сөйлем. Бұл ұғым белгілі бір мағынаны білдіруі керек. Мысалы, «канариат құс» деген сөзде «канарей» және «құс» сияқты компоненттер бар.

Сондықтан логиканың түпнұсқа тұжырымдамаларының бірі - мәлімдеме. Бұл тұжырымдар нақты бір жағдайды сипаттауы керек, онда қандай да бір нәрсе туралы мәлімдеме немесе негатив.

Өтініш шындық деп есептеледі, егер оны сипаттайтын болсақ, жағдайдың шынайылығы сипатталады. Өздерімен «өтірік» және «шындық» сөздердің шындықтарын анықтайды.

Өтініштердің логикасы қарапайым және күрделі өрнектерден тұрады. Осылайша, оның құрамындағы басқа өрнектерді қамтымайтын қарапайым мәлімдеме қарапайым деп саналады. Кешенге қарапайым, логикалық байланысты мәлімдемелерден алынған өрнектер.

Классикалық логика ұсыныстары жалпы шегерім теориясымен ұсынылуы мүмкін. Бұл сөздердің құрамына тәуелді қарапайым өрнектердің логикалық байланыстары сипатталған логиканың бөлігі.

Біріктіруді айту мүмкін емес - екі және қарапайым өрнектерді «және» сөзімен біріктіру арқылы алынған күрделі мәлімдеме. Конфигураның шындықты оның құрылымына кіретін барлық мәлімдемелердің сенімділігі расталады. Егер оның мүшелерінің кемінде біреуі жалған болса, онда тұтастай алғанда «жалған» белгі бар.

Байланыстың өзі осындай болжамдарға негізделген сол күрделі мәлімдемелерді қалыптастыруға қызмет етеді:

- кез келген өрнек (қарапайым және күрделі) шын немесе жалған болуы мүмкін;

- күрделі мәлімдемелердің шындықтары сөздердің шындыққа және логикалық байланыстарға тікелей байланысты.

Екі сөйлемді «немесе» деген сөзбен біріктірген кезде, ажырату алынады. Күнделікті өмірде бұл ұғым екі түрлі мағынада қарастырылуы мүмкін. Біріншіден, бұл екі сөздің біреуінің шын немесе екеуінің де біреуі бола ма деген сөздің шындықты білдіретін ерекше емес мағынасы. Екіншіден, айрықша мағына, өрнектің біреуі дұрыс, ал екіншісі жалған екенін көрсетеді.

Ұсыныс логикасының формулалары арнайы таңбалардан тұрады. Осылайша, айырмашылықта V белгісі өрнек шындықтың кем дегенде біреуі дұрыс болғанын білдіреді және егер оның екеуі де жалған болса, ол жалған болып табылады.

Маңыздылықты айқындаған кезде, сөздің негізі жалған соқтығысымен шынайы бола алмайтыны туралы мәлімдеме бар. Басқаша айтқанда, бұл ұғым ақиқаттың шындыққа тәуелділігін немесе оның компоненттерінің мағынасына және олардың қосылыстарының жолына деген жалғандығын болжайды.

Кейбір мақсаттар үшін бұл нәтиже жеткілікті болып табылатынына қарамастан, оның жалпы формасындағы шартты қарым-қатынасты түсінуге өте сай келмейді. Осылайша, сөздің логикалық мінез-құлқының көптеген маңызды ерекшеліктерін ескере отырып, бұл тұжырым оның тиісті сипаттамасы болмауы мүмкін.

Өтініштердің логикасы осындай орталық міндеттерді шешуге бағытталған, дәлелдемелер дұрыс және дұрыс емес схемаларын бөлу және бұрынғы жүйелеу. Тиісті нәтиже алу үшін назар аударуыңыз керек, бір немесе бірнеше форманы ұсына алатын арнайы таңбаларға назар аударуыңыз қажет. Осылайша «бір», «және» және т.б. сияқты сөздерге қызығушылық танытылады.

Түсініктемелердің логикасы келесі элементтерден тұратын өз тілін де қамтиды:

- бастапқы таңбалар - ауыспалылар, логикалық тұрақты және техникалық белгілер;

- формулалар.

Не айтылғанды жақсы түсіну үшін нақты мысалдарға өтуіміз керек. Мысалы, түйісу & & символы қолданылады, disjunction - \ / немесе \ º /.