Пусть $%P$% - множество людей, $%Hs$% - множество организмов вида Homo sapiens, $%G$% - множество богов, $%A$% - множество деятелей, $%T$% - время, $%So$% - множество душ.

Вопрос 1: Верны ли высказывания:

$% A = P \cup G \rightarrow \forall x (x \in A \rightarrow x \ is \ alive. \ \oplus \ x \ is \ dead.),$%

$% A = P \cup G \rightarrow \forall x (x \in A \rightarrow (x \ is \ immortal. \rightarrow x \ is \ alive.))$%

$% \begin {cases} A = P \cup G \wedge \varnothing \notin \{G, \ P \cap Hs, \ P \setminus Hs\} \\ \forall x (x \in A \rightarrow x \ is \ alive. \ \oplus \ x \ is \ dead.) \\ \forall x (x \in A \wedge x \ is \ immortal. \rightarrow x \ is \ alive.) \\ \forall x (x \in P \cap Hs \rightarrow \ x \ is \ mortal.) \\ \forall x (x \in G \cup (P \setminus Hs) \rightarrow x \ is \ immortal.) \end {cases} \rightarrow \begin {cases} \forall x (x \in P \cap Hs \rightarrow x \ is \ alive. \oplus \ x \ is \ dead.) \\ \forall x (x \in G \cup (P \setminus Hs) \rightarrow x \ is \ alive.) \end {cases}?$%

Вопрос 2: Верно ли, что:

$%(2.1.1) \ \ A = P \cup G \rightarrow \forall x (x \in A \rightarrow x \ is \ alive \ sometimes.),$%

$%(2.1.2) \ \ A = P \cup G \rightarrow \forall x (x \in A \rightarrow (x \ is \ immortal. \rightarrow x \ is \ alive \ always.)),$%

$%(2.1.3) \ \ A = P \cup G \rightarrow \forall x (x \in A \rightarrow (x \ is \ mortal. \leftrightarrow x \ is \ dead \ sometimes.)),$%

$%(2.2.1) \ \ x \ is \ alive \ sometimes. \leftrightarrow \exists \tau (\tau \in \wp (T) \setminus \{\varnothing\} \wedge x \ is \ alive \ during \ \tau.),$%

$%(2.2.2) \ \ x \ is \ alive \ always. \leftrightarrow \forall \tau (\tau \in \wp (T) \setminus \{\varnothing\} \rightarrow x \ is \ alive \ during \ \tau.),$%

$%(2.2.3) \ \ x \ is \ dead \ sometimes. \leftrightarrow \exists \tau (\tau \in \wp (T) \setminus \{\varnothing\} \wedge x \ is \ dead \ during \ \tau.),$%

$%(2.3.1) \ \ x \ is \ alive \ during \ \tau. \leftrightarrow \forall t (t \in \tau \rightarrow x \ and \ x's \ soul \ are \ connected \ at \ t.),$%

$%(2.3.2) \ \ x \ is \ dead \ during \ \tau. \leftrightarrow \exists t (t \in \tau \wedge x \ and \ x's \ soul \ are \ not \ connected \ at \ t.)?$%

Примечание

  1. $%\tau \in \wp(T) \setminus \{\varnothing\} \ \Leftrightarrow \ \tau \subseteq T \wedge \tau \neq \varnothing \ \Leftrightarrow \ \tau \neq \varnothing \wedge \forall t (t \in \tau \rightarrow t \in T)$%
  2. "x and x's soul are connected at t." $%\Leftrightarrow$% "x и x-ова душа связаны [между собой] в [момент] t."
  3. "x and x's soul are not connected at t." $%\Leftrightarrow$% "x и x-ова душа не связаны [между собой] в [момент] t."

задан 24 Май '12 19:33

изменен 20 Июн '12 17:00

Вы думаете, что, если записать высказывания по-английски и снабдить некоторым количеством значков, они станут строгими и формальными? А по русски, видимо - менее формальными.

(25 Май '12 23:28) DocentI

Нет, скорее на перепалку. Отвечать серьезно на Ваши вопросы нет никакого желания.

(26 Май '12 10:35) DocentI

Кто это минусует @Галактион -а? Пусть человек развлекается - жалко, что ли!

(28 Май '12 0:30) DocentI
1

Да, минусовать Галактиона - это дурной тон!

(28 Май '12 0:55) Андрей Юрьевич

@Галактион, ради $%x \in G$% не обижайтесь! Мы же любя...

(28 Май '12 16:49) Андрей Юрьевич

@Галактион, а зачем удалять? В крайнем случае попросили бы админов (@Хэшкод) закрыть вопрос по причине "Слишком спорно"

(28 Май '12 16:53) Limit-Sun
показано 5 из 6 показать еще 1
10|600 символов нужно символов осталось
3

Со всем, кроме посылки ∀x(x∈G∪(P∖Hs)→x is immortal.) и вытекающих из нее утверждений, можно согласиться. Вернее, кроме ее части ∀x(x∈(P∖Hs)→x is immortal) - это утверждение ниоткуда не следует, ни из логики, ни из опыта - вообще ниоткуда. Соответственно, все выводы сделанные на основе этой посылки, являются крайне сомнительными.

Да, еще один сомнительный момент - представление времени в виде "чистого" множества. Промежутки времени составляют одномерное метрическое пространство, и человек живет в течение непрерывного промежутка, а не в течение, например, Канторова множества.

ссылка

отвечен 29 Май '12 21:56

изменен 30 Май '12 3:23

10|600 символов нужно символов осталось
Ваш ответ

Если вы не нашли ответ, задайте вопрос.

Здравствуйте

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

Присоединяйтесь!

отмечен:

×311
×41

задан
24 Май '12 19:33

показан
1049 раз

обновлен
20 Июн '12 17:00

Отслеживать вопрос

по почте:

Зарегистрировавшись, вы сможете подписаться на любые обновления

по RSS:

Ответы

Ответы и Комментарии

Дизайн сайта/логотип © «Сеть Знаний». Контент распространяется под лицензией cc by-sa 3.0 с обязательным указанием авторства.
Рейтинг@Mail.ru