Математические и логические основы информатики
.RU

Математические и логические основы информатики

Элементы логики высказываний

Под высказыванием мы будем понимать повествовательное предложение, относительно которого объективно можно сказать, что оно либо истинно , либо ложно.

Высказывания, подобные приведенным выше, называют простыми высказываниями. Они не могут быть «разложены» на более элементарные высказывания, относительно которых сохранилась бы объективная возможность оценить их истинность.

Из одних высказываний могут составляться (строиться) другие, более сложные высказывания. Такие высказывания мы будем называть составными , или сложными высказываниями.

В русском языке (и не только в русском) составные высказывания строятся из простых с помощью союзов (и, или), частицы (не) и словосочетаний (если…,то...;…тогда и только тогда, когда…; …если, и только если…;…необходимо и достаточно для… и т.д.)

Логические операции над высказываниями

Условимся обозначать простые высказывания большими буквами начала латинского алфавита: A, B, C (возможно с индексами: A1, A2, A3 и так далее), а значения истинности высказываний - буквами И (истина) и Л (ложь)[1] ), которые называют логическими константами .

Определим операции над высказываниями, которые будут соответствовать союзам (и, или), частице не, словосочетаниям (если …, то …; …тогда и только тогда, когда ….; …если, и только если …; …необходимо и достаточно для… и т.д.) русского языка. Часто союзы, частицу не, указанные словосочетания называют связками . Соответствующие им операции называют логическими операциями , или логическими связками .

Союзу и соответствует операция конъюнкция , обозначаемая нами с помощью символа & и задаваемая таблицей:

metodiki-issledovaniya-agressivnosti.html
metodiki-rozslduvannya-hulganstva-chast-10.html
metodiki-rozslduvannya-hulganstva-chast-4.html
metodiki-rozslduvannya-hulganstva.html
metodologicheskie-osnovi-menedzhmenta-srednih-i-malih-predpriyatij.html
metodologicheskie-problemi-sravneniya-formi-i-tipi-sravnitelnih-issledovanij.html
  • doklad.bystrickaya.ru/variant-1-kafedra-istorii-gosudarstva-i-prava.html
  • testyi.bystrickaya.ru/baltijskij-bereg-yanvar-2009-3-tur.html
  • shpargalka.bystrickaya.ru/vladimir-milchakov-takih-shadit-nelzya-stranica-19.html
  • ekzamen.bystrickaya.ru/rossijskaya-blagotvoritelnost-v-zerkale-smi-stranica-18.html
  • vospitanie.bystrickaya.ru/zaklyuchenie-teoreticheskie-osnovi-obucheniya-detej-schetu.html
  • holiday.bystrickaya.ru/moral-i-politika-tom-9.html
  • urok.bystrickaya.ru/proekt-mbrr-tehnicheskoe-sodejstvie-reforme-byudzhetnoj-sistemi-na-regionalnom-urovne-stranica-2.html
  • writing.bystrickaya.ru/glava-z-tvorenie-i-ego-nedostatki-aleks-vilenkin-mir-mnogih-mirov-fiziki-v-poiskah-parallelnih-vselennih.html
  • thescience.bystrickaya.ru/iii-izveshenie-o-provedenii-konkursa-yu-ya-yakel-pochetnij-advokat-moskovskoj-oblastnoj-kollegii-advokatov.html
  • portfolio.bystrickaya.ru/perechentovarov-podlezhashih-obyazatelnoj-sertifikaciiutv-metodicheskie-rekomendacii-po-sozdaniyu-hraneniyu-ispolzovaniyu.html
  • uchebnik.bystrickaya.ru/uchebno-metodicheskij-kompleks-dlya-studentov-ochnoj-i-zaochnoj-form-obucheniya-napravleniya-050100-62-pedagogicheskoe-obrazovanie-profil-podgotovki-izobrazitelnoe-iskusstvo.html
  • thesis.bystrickaya.ru/programma-disciplini-rossijskoe-predprinimatelskoe-kommercheskoe-pravo-dlya-specialnosti-030501-65-yurisprudenciya.html
  • lektsiya.bystrickaya.ru/programma-kontrolnie-zadaniya-i-zadaniya-po-kursovomu-proektirovaniyu-uchebnoj-disciplini.html
  • report.bystrickaya.ru/kliniko-farmakologicheskie-aspekti-primeneniya-cinksoderzhashih-kompleksov-vo-vremya-beremennosti-vsasivanie-i-raspredelenie-cinka-v-organizme.html
  • uchenik.bystrickaya.ru/1-ustanovka-sistemi-programmno-apparatnij-kompleks-net-rt11-dos-line-vklyuchaet-v-sebya-setevuyu-sistemu-net-rt11.html
  • lesson.bystrickaya.ru/na-ege-na-olimpiadah-v-uchenicheskih-konkursah-stranica-2.html
  • studies.bystrickaya.ru/identifikaciya-opasnostej.html
  • predmet.bystrickaya.ru/soglasovanie-skazuemogo-s-podlezhashim.html
  • upbringing.bystrickaya.ru/kto-iz-nas-v-kogo-vlyublyalsya-i-kto-kogo-v-lyubeznie-izbiral-ya-do-sih-por-ne-pojmu-i-pojmu-li-kogda-stranica-3.html
  • school.bystrickaya.ru/gosudarstvennij-suverenitet-rf-chast-2.html
  • znaniya.bystrickaya.ru/prostit-privatizaciyu-vedomosti-nikolaeva-anna-proskurnina-olga-egorova-tatyana-25032005-52-str-a1.html
  • predmet.bystrickaya.ru/referat-podgotovka-i-napisanie-referata.html
  • thescience.bystrickaya.ru/ii-celi-prioriteti-i-zadachi-ekonomicheskogo-i-socialnogo-i-ishodnie-faktori-i-usloviya-ekonomicheskogo-i-6-socialnogo.html
  • college.bystrickaya.ru/14-lekcij-14-seminarov-8-kreditov-ects.html
  • textbook.bystrickaya.ru/instrukcii-po-montazhu-ekspluatacii-i-obsluzhivaniyu-avtomaticheskoj-ustanovki-gazovogo-pozharotusheniya-szhatimi-gazami-azot-argon-inergen.html
  • pisat.bystrickaya.ru/tatari-i-rus-360-let-otnoshenij-rusi-s-tatarskimi-gosudarstvami-v-xiiixvi-vv-stranica-19.html
  • paragraph.bystrickaya.ru/mbou-prohorovskaya-gimnaziya-prohorovskogo-rajona-belgorodskoj-oblasti.html
  • credit.bystrickaya.ru/permskij-kraevoj-nauchno-proizvodstvennij-centr-po-ohrane-pamyatnikov-obektov-kulturnogo-naslediya.html
  • writing.bystrickaya.ru/hristiyanska-rodina-relgya-ta-vjna.html
  • tetrad.bystrickaya.ru/uchet-operacij-po-organizacii-pitaniya-edinaya-uchetnaya-i-nalogovaya-politika-tyumgngu-na-2012-god.html
  • uchenik.bystrickaya.ru/antiglobalizm-chast-2.html
  • textbook.bystrickaya.ru/katalog-statej-iz-zhurnala-voprosi-ekonomiki-po-problemam-ekonomicheskoj-teorii-istorii-ekonomiki-i-istorii-ekonomicheskih-uchenij.html
  • shpargalka.bystrickaya.ru/voprosi-otveti-nizheopublikovani-voprosi-kotorie-nam-chashe-vsego-zadayut.html
  • textbook.bystrickaya.ru/innovacionnaya-deyatelnost-uchrezhdenij-otchet-mera-goroda-kozmodemyanska-o-rezultatah-deyatelnosti-v-2010-god-soderzhani-e.html
  • textbook.bystrickaya.ru/imenem-azerbajdzhanskoj-respubliki-postanovlenie-plenuma-konstitucionnogo-suda-azerbajdzhanskoj-respubliki-o-tolkovanii-stati-244-1-ugolovnogo-kodeksa-azerbajdzhanskoj-respubliki.html
  • © bystrickaya.ru
    Мобильный рефератник - для мобильных людей.