вислів, отримане за допомогою логічних зв'язок з простих висловлювань. Найбільш споживані С. в. утворені за допомогою слів: "і", "або", "якщо, то", "якщо і тільки якщо", "не". Замість цих слів в логіці використовуються символи: , V, ->. складне висловлювання. С. в. А В називається кон'юнкція ( "А і В"), A v В - диз'юнкція ( "А чи В"), А - В - импликацией ( "Якщо A, то В"), А = В - еквівалентність ( "А, якщо і тільки якщо В "), складне висловлювання А - запереченням (" Невірно, що A ", або« не-A ").
Встановлення сенсу і способу вживання логічних зв'язок, що дозволяють утворювати С. ст. є завданням найбільш фундаментальної і разом з тим найпростішої частини логіки - обчислення висловлювань.
Дивитися що таке "складне висловлювання" в інших словниках:
вислів контрфактіческіх - (від лат. contra проти, factum подія) складне висловлювання, в якому за допомогою союзу якби. то б. об'єднуються два висловлювання A і В. У природній мові йому відповідають пропозиції, що мають форму умовно умовного способу ... Словник термінів логіки
Висловлювання (Пропозиція) контрфактіческіх - (від лат. Contra проти, factum подія) а складне висловлювання, в якому за допомогою союзу леслі б. то б ... Словник термінів логіки
ВИСЛОВЛЮВАННЯ - граматично правильне оповідної пропозицію, взяте разом з висловлюваним їм змістом. У логіці вживається кілька понять В. істотно розрізняються між собою. Перш за все це поняття дескриптивного, або про п і з а ного, ... ... Філософська енциклопедія
Складне синтаксичне ціле (сверхфразовое єдність, мікротекст, період) - група тісно взаємопов'язаних закінчених пропозицій, об'єднаних спільністю теми в смисловий блок. Смислові відношення, що об'єднують самостійні пропозиції в С. с. ц. підкріплюються різними засобами: лексичними (повторення в ... ... Педагогічна речеведению
умовне висловлювання - складне висловлювання, формулируемое зазвичай за допомогою зв'язки якщо. то. і встановлює, що одна подія, стан і т. п. є в тому чи іншому сенсі підставою або умовою іншого. Напр. Якщо є вогонь, тобто дим. Якщо число ... ... Словник термінів логіки
логіка висловлювань - (пропозіціональному логіка) розділ логіки, формалізує вживання логічних зв'язок і. або. ні. якщо, то і т. п. службовців для освіти складних висловлювань з простих. Висловлення називається простим, якщо воно не включає в себе інші ... ... Словник термінів логіки
таблиця істинності - таблиця, за допомогою якої встановлюється истинностное значення складного висловлювання при даних значеннях вхідних в нього простих висловлювань. У класичній математичній логіці передбачається, що кожне просте (що не містить логічних ... ... Словник термінів логіки
Імплікації - (від лат. Implicatio сплетіння, від implico тісно пов'язую) логічна зв'язка, відповідна граматичної конструкції «якщо. то. », За допомогою якої з двох простих висловлювань утворюється складне висловлювання. У імплікатівной висловлюванні ... ... Філософська енциклопедія
Трійчастий функції - Трійкова функцією в теорії функціональних систем і троичной логіці називають функцію типу. де потрійне безліч, а невід'ємне ціле число, яке називають арность або місцевістю функції. Елементи безлічі цифрові ... ... Вікіпедія