Имеем два выражения:
А = [(В=истина)*(А содержит Золото)] и В = [(А=ложь)*(А содержит Золото)]
Каждое из выражений истинно только тогда, когда обе его части истенны.
Если А истинно то В должно быть истинно, а это не возможно т.к. тогда В будет содержать ложь => А=ложь => или В не истина или А не содержит Золото. Но утверждение, что В не истинно, зная, что (А=ложь) = Истина => (А содержит Золото) = ложь.

Как не крути А не содержит Золото.

Молодец, хорошо ведешь тему.

Приятно вспомнить молодость. Кстати у задачки с "знакомыми-незнакомыми" есть геометрический аналог: "Есть 6 точек соединённых линиями двух цветов. Докажите, что существует как минимум один одноцветный треугольник.". Доказывается аналогично, но только наглядней.

Обязательно буду захаживать сюда.

Микро-журнал "Теория логики и правдоподобных рассуждений" №3?
___________________________________________________________________________________________________________________________________________________________________________________________________