2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




 
 ЛогикаПридумайте предложение, соответствующ. логич. формуле
Сообщение29.03.2016, 15:18 
1)Придумайте пожалуйста предложение, соответствующее следующей логической формуле
~ (A v B) ↔ ~ A ∧ ~ B

2)Переведите на символический язык сложное суждение :
-Чем дальше в лес, тем больше дров.
-Каждый из нас знает книгу или хотя бы имя Альфреда Брема.
-Я не трус, но я боюсь.
-Живое существо является человеком тогда и только тогда, когда оно обладает сознанием.
-Если научился знаниям в полной мере, не скрывай их от жаждущих научиться. Иначе знания потухнут без пользы, подобно горению светильника, заключенного в кувшин.
- Если поставить ртутно-амальгамовую пломбу, то токсические материалы будут поступать в организм, а через некоторое время будут проблемы с почками.

Хотя бы первое сделайте пожалуйста

 
 
 
 Re: ЛогикаПридумайте предложение, соответствующ. логич. формуле
Сообщение29.03.2016, 16:59 
Просто выберите два любых утверждения и подставьте вместо $A$ и $B$. «Каркас» переводится достаточно просто — каждая связка по-своему, без всякой интерференции с переводом других.

Или трудность — в переводе без скобок в тексте? Достаточно сложные формулы так на естественный язык перевести не получится, но с простыми можно выкрутиться.

 
 
 
 Posted automatically
Сообщение29.03.2016, 17:01 
Аватара пользователя
 i  Тема перемещена из форума «Гуманитарный раздел» в форум «Карантин»
по следующим причинам:

- неправильно набраны формулы (краткие инструкции: «Краткий FAQ по тегу [math]» и видеоролик Как записывать формулы);
- отсутствуют собственные содержательные попытки решения задач(и).

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

 
 
 [ Сообщений: 3 ] 


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group