Страниц: [1]
  Печать  
Автор Тема: помогите решить логику  (Прочитано 16324 раз)
0 Пользователей и 1 Гость смотрят эту тему.
1NNA
Новенький
*
Offline Offline

Сообщений: 9

СПАСИБО
-вы поблагодарили: 5
-вас поблагодарили: 0


Просмотр профиля Email
: Апрель 11, 2011, 20:18:47 �

запишите с помощью символов языка логики высказываний следующее выражение естественного языка:

если подозрение подтвердится,...то наш план...развернется ровно в двадцаь часов ночи. Если же далее не окажется ничего подозрительного, план будет другой

если курс логики не труден, то он полезен. курс логики не интересен или этот курс бесполезен.
курс логики интересен. следовательно, этот курс труден

если хочешь быть умным, то научись разумно спрашивать, внимательно слушать, спокойно отвечать и умолкать, когда  нечего больше сказать.

если три определенных элемента вычислительной машины имеют дефекты, то машина не будет работать.  вычислительная машина не работает, значит, эти три ее элемента имеют дефекты.

должностной подлог, то есть внесение должностным лицом в официальные документы заведомо ложных сведений, иная подделка документов, а также составление и выдача заведомо ложных документов- называется ...

если бы от природы существовали добро и зло. они были бы добром и злом для всех, как снег холоден для всех;но нет такого добра и зла, которые были бы общими для всех, а стало быть, нет добра и зла от природы

если бы он ей не сказал, она ни за что не узнала бы. а не спроси она его, он бы не сказал ей. но она узнала. значит, она его спросила.

если на данное движущееся тело не действуют такие силы, или равнодействующая всех действующих сил равна нулю, то оно движется равномерно; данное тело движется неравномерно, следовательно, равнодействующая всех сил, действующих на тело, не равна нулю.

когда мораль не совершенствуется ,изученное не повторяют, услышав о принципах  долга, не в состоянии им следовать, не могут исправлять недобрые поступки,я скорблю.

с полицмейстером и прокурором ноздрев тоже был на "ты" и общался по-дружески

Записан
1NNA
Новенький
*
Offline Offline

Сообщений: 9

СПАСИБО
-вы поблагодарили: 5
-вас поблагодарили: 0


Просмотр профиля Email
Ответ #1 : Апрель 17, 2011, 19:05:28 �

пожалуйста, прошу, хотя бы пару примеров
Записан
Kubinator
Новенький
*
Offline Offline

Сообщений: 40

СПАСИБО
-вы поблагодарили: 3
-вас поблагодарили: 12


Просмотр профиля Email
Ответ #2 : Апрель 20, 2011, 22:09:22 �

не понятно какой набор символов подразумевается.

Эти пользователи сказали вам СПАСИБО :

1NNA

За это сообщение 1 пользователь сказал спасибо!
Записан
☭-Изделие 20Д
Ум
*****
Offline Offline

Сообщений: 7915

СПАСИБО
-вы поблагодарили: 6291
-вас поблагодарили: 2516


[img] http://s016.radikal.ru/i337/1409/6a/5b2b5c71

614445846
Просмотр профиля Email
Ответ #3 : Апрель 21, 2011, 18:19:25 �

В принципе возможно первую фразу даже можно записать типа:
IF X=N GO TO 1200
ну и далее в том же стиле мне кажется это тоже имеет непосредственное отношение к логике

Эти пользователи сказали вам СПАСИБО :

1NNA

За это сообщение 1 пользователь сказал спасибо!
Записан

1NNA
Новенький
*
Offline Offline

Сообщений: 9

СПАСИБО
-вы поблагодарили: 5
-вас поблагодарили: 0


Просмотр профиля Email
Ответ #4 : Апрель 21, 2011, 20:54:40 �

Алфавит логики высказываний состоит из следующих символов.

1) Символы для высказываний: р, q, r ... (пропозициональные переменные).

2) Символы для логических связок:

л — конъюнкция (союз «и»);

V — ДИЗЪЮНКЦИЯ (СОЮЗ «ШШ»);

-> — импликация (союз «если..., то...»);

s — эквивалентность (союз «если и только если..., то...»);

1 — отрицание («неверно, что...»). 3) Технические знаки (,) — скобки.

Допустимые в логике высказываний выражения, называемые правильно построенными формулами, или сокращенно ППФ, вводятся следующим определением:

1. Всякая пропозициональная переменная — р, q, r... — является ППФ.

2. Если А и В — ППФ (А и В — символы метаязыка для любых формул), то выражения — А л В, A v В, А -> В, А а В, ТА— также являются ППФ.

3. Все другие выражения, помимо предусмотренных п. 1 и 2, не являются ППФ языка логики высказываний.

Записан
Kubinator
Новенький
*
Offline Offline

Сообщений: 40

СПАСИБО
-вы поблагодарили: 3
-вас поблагодарили: 12


Просмотр профиля Email
Ответ #5 : Апрель 23, 2011, 12:11:28 �

все еще не понятно, каким именно образом предполагается преобразовать предложения в формулы. прниведите пример. наверняка это задание не было задано без примеров решения аналогичных.

Эти пользователи сказали вам СПАСИБО :

1NNA

За это сообщение 1 пользователь сказал спасибо!
Записан
1NNA
Новенький
*
Offline Offline

Сообщений: 9

СПАСИБО
-вы поблагодарили: 5
-вас поблагодарили: 0


Просмотр профиля Email
Ответ #6 : Апрель 23, 2011, 19:09:31 �

Элементарное высказывание - это такое высказывание, которое не содержит логических союзов.

Элементарным (простым) высказываниям естественного языка при переводе на язык логики высказываний соответствуют атомарные формулы.

Сложным высказываниям соответствуют неатомарные формулы.

Логическим союзам соответствуют логические константы:

1. Конъюнкция («и, а, но, да») -

Например: Платон мне друг, но истина дороже.

 - Платон мне друг,

 - истина дороже.

Ответ:

2. Дизъюнкция («или») - , строгая дизъюнкция («или…, или…», «либо…, либо…») -

Например: Утром я пью чай или кофе.

 - утром я пью чай,

 - утром я пью кофе.

Ответ:

Например: 1. Быть или не быть - вот в чем вопрос!

 - быть - вот в чем вопрос,

 - не быть - вот в чем вопрос.

Ответ:

2. Либо я найду путь, либо проложу его!

 - я найду путь,

 - я проложу путь.

Ответ:

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

3. Импликация («если..., то...») - ,

Например: Когда вода в море остывает, к берегу приплывают медузы.

 - вода в море остывает,

 - к берегу приплывают медузы

Ответ:

При этом, следует четко фиксировать свое внимание на причинно-следственной связи, которую выражает импликация. Выражение, отражающее причину, называется антецедент, а следствие - консеквент. В языке КЛВ антецедент всегда стоит слева от знака импликации, а консеквент - справа. В предложении естественного языка консеквент может оказаться на первом месте.

Давайте попробуем подробнее рассмотреть такой вариант связи как импликация. Например, когда мы говорим: "Если дует ветер, то листья на деревьях колышутся"  разве не имеется в виду, что ветер - причина колыхания листьев. Но может ведь быть тому и другая причина - кто-то трясет дерево? Но импликативная связь высказываний не всегда говорит о том, что p выражает причину того, о чем говорится в высказывании . Можно сказать и так: "Если Анна смеется, то она весела", хотя не смех - причина веселья, а наоборот.

Еще примеры: Если на стеклах ледяные узоры, то на улице мороз.

 - на стеклах ледяные узоры

 - на улице мороз

Ответ:

При переводе такого рода предложений на язык логики высказываний приходится менять местами консеквент и антецедент, чтобы привести высказывание к стандартной форме.

"Если верно, что Солнце, вставая каждый день на востоке, дарует жизнь всему живому и никогда не завершит свой путь, то моя любовь к тебе никогда не угаснет". Можно ли и в этом примере найти причину и следствие или достаточное основание для прочности чувств героя?

То общее, что можно выделить во всех высказываниях, содержащих импликацию, следует искать не в области смысла, а в области значения. И это общее заключается в том, что при истинности антецедента консеквент истинной импликации всегда истинен. При ложном антецеденте импликация истинна независимо от того, какое значение принимает консеквент.

5. Отрицание («не» или «неверно, что...») - .

Пример: Неверно, что он храбр и силен.

 - он храбр

 - он силен

Ответ:

Выражение заключено в скобки, а отрицание стоит перед скобками, показывая тем самым, что отрицание относится ко всей скобке в целом.

6. Тождество («тождественно», «тогда и только тогда») - .

Пример: Утро наступает тогда, когда всходит солнце.

 - утро наступает

 - солнце всходит

Ответ:

Не следует принимать связку «тогда» за тождество в любых случаях. Иногда она «маскирует» импликацию:

Пример: Я пойду на лекцию тогда, когда у меня будет хорошее настроение.

 - я пойду на лекцию

 - у меня будет хорошее настроение

Ответ:

(Другими словами - Если у меня будет хорошее настроение (причина), то я пойду на лекцию (следствие). А если его (настроения) не будет?)

Используя символы логических союзов, можно выделить логическую форму любого сложного высказывания с точностью до составляющих его простых высказываний, то есть, не входя в их внутреннюю структуру. Этого вполне достаточно для решения многих задач, стоящих перед логикой.

Пример сложного суждения: Я уже освободился и, если меня не задержат, скоро приеду.

 - я уже освободился

 - меня не задержат

 - я скоро приеду

Ответ:

Пока мы научились решать только одну задачу: выявлять при помощи языка логики высказываний логическую форму высказываний.

Лучшее представление о свойствах классических пропозициональных союзов дают табличные или матричные определения. Они наглядно отражают зависимость значения сложного высказывания от значений, составляющих его простых высказываний, в частности, зависимость значения импликации от значений антецедента и консеквента.
Записан
1NNA
Новенький
*
Offline Offline

Сообщений: 9

СПАСИБО
-вы поблагодарили: 5
-вас поблагодарили: 0


Просмотр профиля Email
Ответ #7 : Апрель 23, 2011, 19:10:08 �

формулы не скопировались
Записан
1NNA
Новенький
*
Offline Offline

Сообщений: 9

СПАСИБО
-вы поблагодарили: 5
-вас поблагодарили: 0


Просмотр профиля Email
Ответ #8 : Апрель 23, 2011, 19:10:56 �

//текст доступен после регистрации// посмотри, пожалуйста, здесь . заранее спасиб оза помощь
Записан
1NNA
Новенький
*
Offline Offline

Сообщений: 9

СПАСИБО
-вы поблагодарили: 5
-вас поблагодарили: 0


Просмотр профиля Email
Ответ #9 : Апрель 26, 2011, 21:54:15 �

если у кого есть какие то идеи, пишите,пожалуйста
Записан
Kubinator
Новенький
*
Offline Offline

Сообщений: 40

СПАСИБО
-вы поблагодарили: 3
-вас поблагодарили: 12


Просмотр профиля Email
Ответ #10 : Апрель 27, 2011, 06:52:27 �



если подозрение подтвердится,...то наш план...развернется ровно в двадцаь часов ночи. Если же далее не окажется ничего подозрительного, план будет другой

А - подозрение подтвердится
B - план развернется ровно в двенадцать ночи
С - план будет другой.

Ответ:  (A->B)&(!(A)->C).

Эти пользователи сказали вам СПАСИБО :

1NNA

За это сообщение 1 пользователь сказал спасибо!
Последнее редактирование: Апрель 30, 2011, 07:01:23 от Kubinator Записан
Kubinator
Новенький
*
Offline Offline

Сообщений: 40

СПАСИБО
-вы поблагодарили: 3
-вас поблагодарили: 12


Просмотр профиля Email
Ответ #11 : Апрель 27, 2011, 07:09:00 �

Цитировать
если курс логики не труден, то он полезен. курс логики не интересен или этот курс бесполезен.
курс логики интересен. следовательно, этот курс труден
A - курс логики труден
B - курс логики полезен
С - курс логики интересен.
Ответ:
(!(A)->B) & (!(C)V!(B)).
C->A.

Эти пользователи сказали вам СПАСИБО :

1NNA

За это сообщение 1 пользователь сказал спасибо!
Последнее редактирование: Апрель 27, 2011, 07:11:45 от Kubinator Записан
1NNA
Новенький
*
Offline Offline

Сообщений: 9

СПАСИБО
-вы поблагодарили: 5
-вас поблагодарили: 0


Просмотр профиля Email
Ответ #12 : Апрель 27, 2011, 18:20:35 �

спасибо всем за помощь .сегодня сдала первый модуль
Записан
Страниц: [1]
  Печать  
 
Перейти в: