Top.Mail.Ru

Определим элементарные высказывания в данных предложениях следующим образом:

P: Дима решил переставить мебель по фен-шую.
Q: Ему придется передвинуть кровать к стене.
R: Ему придется передвинуть кровать к двери.
S: Ему придется передвинуть шкаф к окну.
T: Ему придется передвинуть диван к окну.
U: Кровать стоит у стены.
V: Кровать стоит у двери.
W: Диван стоит у двери.
X: Диван стоит у окна.
Y: Шкаф стоит под люстрой.

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

(P -> (Q V R)) && (P -> (S || T)) && (U -> (Y && (Q || R))) && (Y -> (V || W || X))

Шаги решения:
1. Определить элементарные высказывания в тексте.
2. Присвоить каждому элементарному высказыванию пропозициональную переменную.
3. Составить логическую формулу, используя логические операторы и соответствующие связки между элементарными высказываниями.
4. Проверить, соответствуют ли составленные формулы содержанию исходного текста.

   
[metform form_id="1136"]