Логика

Ответ к задаче 2

Ответ 2

На главную

Решение

В данной задаче примем следующие обозначения:

G - это сосуд греческий.

F - это сосуд финикийский.

Р - изготовлен в V веке.

Т - изготовлен в III веке.

Q - изготовлен в IV веке.

Со слов учителя следует, что каждый мальчик прав только в одном высказывании. Следовательно, для Алеши либо G = -1, либо Р=-1, т.е.

G XOR P = -1

Аналогично:

F XOR T = -I

NOT G XOR Q = -1

Но это недостаточно, следует учесть, что ложными будут высказывания:

F*G P*T P*Q T*Q

Или то же самое;

NOT(F AND G) =-1, NOT(P AND T) = -1,

NOT(P AND Q) = -1, NOT(T AND Q) = -1.

Если все истинные высказывания логически перемножить, то получим сложное высказывание, в котором сведено все, что говорится о сосуде:

X1 = (G XOR P) AND (F XOR T) AND (NOT G XOR Q)

X2 = NOT(F AND G) AND NOT(P AND T) AND NOT(P AND Q) AND NOT(T AND Q)

X = X1 AND X2

Заполнив таблицу истинности, получим строку, при которой Х<>0.

FOR G=-1 TO 0

FOR F=-1 TO 0

FOR P=-1 TO 0

FOR T=-1 TO 0

FOR Q=-1 TO 0

X1= (G XOR P) AND (F XOR T) AND (NOT G XOR Q)

X2= NOT (F AND G) AND NOT (P AND T) AND NOT (P AND Q) AND NOT (T AND Q)

X= X1 AND X2

IF X<>0 THEN ?G;F;P;T;Q;X

NEXT

NEXT

NEXT

NEXT

NEXT

for g:= false to true do begin

for f:= false to true do begin

for p:= false to true do begin

for t:= false to true do begin

for q:= false to true do begin

X1= (G XOR P) AND (F XOR T) AND (NOT G XOR Q)

X2= NOT (F AND G) AND NOT (P AND T) AND NOT (P AND Q) AND NOT (T AND Q)

X= X1 AND X2

IF X<>0 THEN Writeln (G,F,P,T,Q,X);

end;

end;

end;

end;

end; Ответ: 0 -1 -1 0 0

Назад

История логики
Современная логика и другие науки
Высказывания логики
Дедукция и рассуждения
Логическая форма
Основные законы логики
Об авторе
Гостевая книга

Полезные ссылки:
Программы на Visual Basic 2005
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
Hosted by uCoz