 |
Если ты сможешь доказать мне свои добрые намерения, то я поверю тебе, иди же мне придется вызвать полицию и обвинить тебя в лжесвидетельстве.
|
|
|
|
Простые суждения, входящие в состав комбинированного: ____________
_____________________________________________________________________________________________________________________________________________________________________________________________
_________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________
логические связки – ______________________________________________
________________________________________________________________________ ______________________________________________________
символическая запись суждения: ___________________________________
Так как мы договорились заранее и установили жесткие условия, то не представляется никакой возможности не прибыть к месту дуэли или же что-либо изменить.
Простые суждения, входящие в состав комбинированного: ____________
_____________________________________________________________________________________________________________________________________________________________________________________________
_________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________
логические связки – ______________________________________________
________________________________________________________________________ ______________________________________________________
символическая запись суждения: ___________________________________
Он отлично владеет приемами самбо или карате, а кроме этого он превосходно играет на гитаре и неплохо поет, именно поэтому он является примером для подражания для своего младшего брата.
Простые суждения, входящие в состав комбинированного: ____________
_____________________________________________________________________________________________________________________________________________________________________________________________
|
|
|
_________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________
логические связки – ______________________________________________
________________________________________________________________________ ______________________________________________________
символическая запись суждения: ___________________________________
Страх является следствием неуверенности, неуверенность вызвана незнанием того, на что вы способны, а это результат недостатка опыта; поэтому создайте себе багаж успешного опыта, и ваши страхи исчезнут.
Простые суждения, входящие в состав комбинированного: ____________
_____________________________________________________________________________________________________________________________________________________________________________________________
_________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________
логические связки – ______________________________________________
________________________________________________________________________ ______________________________________________________
символическая запись суждения: ___________________________________
Задание № 6
Установите логически истинностные значения следующих суждений.
Алгоритм решения примера: 1) вспоминаем при каких условиях исходное суждение является истинным/ложным, 2) восстанавливаем значения переменных исходной формулы, 3) определяем значения переменных для второй формулы, 4) определяем значение этой формулы, 5) делаем вывод.
Известно: (pÙùq) – истинно,
тогда: (p®q) –_________________________________________________
| p Ùùq | p | ùq |
| p | q | p ® q |
 0
| ||
Известно: (pÙùq) – ложно,
|
|
|
тогда: (p Ú q) –__________________________________________________
| p Ùùq | p | ùq |
| p | q | p Ú q |
 0
| ||
1. Известно: (p®ùq) – ложно,
тогда: (p Ú q) –___________________________________________________
2. Известно: (ùp®q) – истинно,
тогда: (pÚùq) –__________________________________________________
3. Известно: (pºq) – ложно,
тогда: (ùp Ú q) –__________________________________________________
4. Известно: (pºùq) – истинно,
тогда: (p®q) –_________________________________________________
5. Известно: (ùp®ùq) – ложно,
тогда: (pÙùq) –_________________________________________________
6. Известно: (ùpÙùq) – истинно,
тогда: (ùp Ú q) –__________________________________________________
7. Известно: (ùpÙ q) – ложно,
тогда: (pºq) –___________________________________________________
8. Известно: (pÚùq) – истинно,
тогда: (ùpºq) –__________________________________________________
9. Известно: (ùpÚùq) – ложно,
тогда: (p Ú q) –__________________________________________________
|
|
|
10. Известно: (ùp®q) – ложно,
тогда: (ùpÙùq) –_________________________________________________
Задание № 7
Постройте таблицу истинности для следующих выражений, укажите, является ли оно логическим законом.
((ùpºr)Ù (q®r)) º (p®ùq)
| порядок операций ® | |||||||||
| p | q | r | ((ùp | º r) | Ù | (q®r)) | º | (p® | ùq) |
 1
| |||||||||
Укажите, является ли это выражение логическим законом: __________, объясните почему: ______________________________________________
_______________________________________________________________
((p®ùq)Ù (ùq®r)) ®(p®r)
| порядок операций ® | |||||||||
| p | q | r | ((p® | ùq) | Ù | (ùq | ®r)) | ® | (p®r) |
 1
| |||||||||
Укажите, является ли это выражение логическим законом: __________, объясните почему: ______________________________________________
_______________________________________________________________
1. (((r®p)Ù(r®q))Ùùp)®ùr
| порядок операций ® | |||||||||
| p | q | r | |||||||
Укажите, является ли это выражение логическим законом: __________, объясните почему: ______________________________________________
|
|
|
_______________________________________________________________
2. (pÙq) Ú ((ùpÙr)®(pÙùq))
| порядок операций ® | |||||||||
| p | q | r | |||||||
Укажите, является ли это выражение логическим законом: __________, объясните почему: ______________________________________________
_______________________________________________________________
3. (((p®q)Ù(p®r))Ùp)®(qÚr)
| порядок операций ® | |||||||||
| p | q | r | |||||||
Укажите, является ли это выражение логическим законом: __________, объясните почему: ______________________________________________
_______________________________________________________________
4. (((p®q)Ù(p®r))Ùp)®(qÚùr)
| порядок операций ® | |||||||||
| p | q | r | |||||||
Укажите, является ли это выражение логическим законом: __________, объясните почему: ______________________________________________
_______________________________________________________________
5. (ùpÚùq)Ú(r®p)
| порядок операций ® | |||||||||
| p | q | r | |||||||
Укажите, является ли это выражение логическим законом: __________, объясните почему: ______________________________________________
|
|
|
_______________________________________________________________
6. ù(pÙ(qÚr))º(ùp Ú ùr)
| порядок операций ® | |||||||||
| p | q | r | |||||||
Укажите, является ли это выражение логическим законом: __________, объясните почему: ______________________________________________
_______________________________________________________________
7. (p®q)®((r®p)®(r®q))
| порядок операций ® | |||||||||
| p | q | r | |||||||
Укажите, является ли это выражение логическим законом: __________, объясните почему: ______________________________________________
_______________________________________________________________
8. ((pºq)Úù(r®p))®(ùpÚr)
| порядок операций ® | |||||||||
| p | q | r | |||||||
Укажите, является ли это выражение логическим законом: __________, объясните почему: ______________________________________________
_______________________________________________________________
9. ((pÙq)®r)º(p®(q®r))
| порядок операций ® | |||||||||
| p | q | r | |||||||
Укажите, является ли это выражение логическим законом: __________, объясните почему: ______________________________________________
_______________________________________________________________
10. (r®(p Ú q))Ùù((ùqÙr)®p)
| порядок операций ® | |||||||||
| p | q | r | |||||||
Укажите, является ли это выражение логическим законом: __________, объясните почему: ______________________________________________
_______________________________________________________________
|
|
|
