d>
1
1
0
0
0
1
1
0
1
1
0
1
1
0
1
0
1
0
0
1
1
1
0
0
0
1
1
0
0
1
0
1
1
1
Судження `p і` q називаються запереченням суджень p і q.
Судження p Гљ q - диз'юнкція суджень p і q.
Судження p Гљ Гљq - суворо розділової диз'юнкцією суджень p і q.
Судження p Г™ q - кон'юнкція суджень p і q.
Судження p В® q - імплікацією суджень p і q.
Суджень p Вє q - еквіваленцію суджень p і q.
У міркуваннях логічні зв'язки застосовуються багаторазово в різних поєднаннях. Звичайно, при виявленні істинності всього міркування дуже важливі конкретні знання. Але логіка тим і хороша, що нерідко дає дуже простий спосіб встановлення істинності якогось міркування, що не вимагає конкретних знань. Суть його в наступному. У міркуванні, вираженому в природній мові, виділяються вхідні в нього прості судження. Якщо якісь судження лише маються на увазі, то вони формулюються явно. Кожне просте судження позначається змінної, причому одні і ті ж судження позначаються однієї і тієї ж змінної, а різні - різними змінними. Потім, користуючись визначеннями логічних зв'язків, записують структуру всього міркування у вигляді складного висловлювання. При цьому розділяють два судження точку або союз В«алеВ» замінюють знаком кон'юнкції. Істинність міркування визначають так: спочатку задаються всі можливі набори істиннісних значень змінних, потім визначають істиннісне значення входять до міркування складних висловлювань, утворених з простих одноразовим застосуванням логічних зв'язок, далі визначають істиннісне значення входять до міркування складних висловлювань, утворених з попередніх одноразовим застосуванням логічних зв'язок і т.д. до тих пір, поки не буде встановлено істиннісне значення всього висловлювання, що є записом міркування. Всі міркування істинно, якщо відповідає йому складне висловлювання приймає значен...