Главная страница
Top.Mail.Ru    Яндекс.Метрика
Текущий архив: 2002.11.25;
Скачать: CL | DM;

Вниз

Лигическая задача   Найти похожие ветки 

 
Ru ©   (2002-11-04 16:21) [0]

Условия:
1 А->Б
Б->В
2 (Г<->Д)
Д&В->Б

Необходимо доказать, что из Г не следует Б зная что А=истина и Д=истина
Ж:)


 
Igorek ©   (2002-11-04 16:38) [1]

Доказывается безотносительно значений А и Д


 
RV ©   (2002-11-04 16:54) [2]

необходимо уточнить что в Вашем понятии означают значки
<->
->


 
Ru ©   (2002-11-04 16:54) [3]

насчет А и Д это условие такое, если доказывается, то какой результат


 
RV ©   (2002-11-04 16:59) [4]

необходимо уточнить что в Вашем понятии означают значки
<->
->


 
han_malign ©   (2002-11-04 17:08) [5]

2 RV
я так понимаю что эквивалентность и импликация


 
RV ©   (2002-11-04 17:15) [6]

han_malign © (04.11.02 17:08)

я тож так думаю, но, судя по прошлым постингам, не известно, что под этим понимает автор

а также какая это задача
1. Задача времен Лиги
2. Лирическая


 
Ru ©   (2002-11-04 17:50) [7]

-> из А следует Б
<-> А эквивалентно Б

Словесное условие задачи дам позже, а то сюда такая толпа флудеров сбежится.


 
Ru ©   (2002-11-05 12:17) [8]

Задача логическая
предмет "Религоведение" препод фанатик христианства толкает речь:
"Господь сотворил Адама и Еву безгрешными и сказал им ешьте плодов разных только с дерева познания добра и зла не ешьте. Но согрешили Адам и Ева и ели с дерева познания добра и зла и проклял их и детей их господь.(дальше идет насчет шкур и труда)"
В этом месте препод спрашивает: "Скажите, а грешен ли новорожденный?"
Ответ из аудитории: "Нет".
Возмущенный препод: "Да как же он же потомок Адама и Евы значит он грешен! Все люди грешны! Это называется первородный грех!"
И препод задает следующий вопрос: "А грешен ли Иисус Христос?"

Из это следует мое условие:
А - совершили грех
Б - грешны
В - грешны их дети
Г - Иисус Христос
Д - сын человеческий

Необходимо или правильней описать условие или доказать что из Г не следует Б.
Можно дать другой обоснованый ответ. (Сейчас должен пойти флуд)


 
RV ©   (2002-11-05 12:24) [9]

Б - грешны ( кто грешны? что тут утверждается?)
Г - Иисус Христос ( а что тут утверждается?)
Д - сын человеческий ( Иисус ?)






 
Sergo ©   (2002-11-05 12:25) [10]

>Ru ©
Христос родился при непорочном зачатии -> на Нем нет первородного греха - таково решение твоей задачи.


 
Ru ©   (2002-11-05 13:35) [11]

>RV © (05.11.02 12:24)

ниписано же Г эквивалентно Д, то есть известно, что Иисус сын человеческих

>Sergo © (05.11.02 12:25)

смотри выше он же сын человеческий. Потом Мария грешна? Да! Иисус сын ее? Да! Каково будет решение задачи?


 
Ru ©   (2002-11-05 13:39) [12]

>RV © (05.11.02 12:24)

Утверждение следующее если согрешили следовательно грешны.

ниписано же Г эквивалентно Д, то есть известно, что Иисус сын человеческий

Можете сформулировать задачу иначе.

>Sergo © (05.11.02 12:25)

смотри выше он же сын человеческий. Потом, Мария грешна? Да! Иисус сын ее? Да! Каково будет решение задачи?


 
Sergo ©   (2002-11-05 13:56) [13]

>Ru ©
А ты знаешь, что при крещении первородный грех снимается -> Мария не грешна.
Христос родился при непорочном зачатии -> на Нем нет первородного греха.
Не пытайся уличить во лжи священное писание не получится :))


 
Ru ©   (2002-11-05 14:51) [14]

>Sergo © (05.11.02 13:56)

Если интересно я могу уличить во лжи то, что было названо священным писанием. Вопрос не в этом.
Мария тоже грешна из ваших же слов: при крещении первородный грех снимается, но она признана святой и отсюда ее грешность снимается.
Если хочется потрепаться о религии теологии и близких проблемах создайте другую ветку.
Я прочел каноническую библию от и до. Если не подводит память, то распятие Христа сняло первородный грех со всех живых и мертвых и еще не рожденных.
В данной ветке я пытаюсь, если угодно, доказать что священослужители пользуются гразными приемами для оправдания самих себя.
Меня интересует возможность опровержения поставленной задачи (доказательства что из Г не следует Б) в постановке, которой воспользовался препод и пользуются многие священики.



Страницы: 1 вся ветка

Текущий архив: 2002.11.25;
Скачать: CL | DM;

Наверх




Память: 0.5 MB
Время: 0.027 c
7-83014
Slawik2000
2002-09-23 12:30
2002.11.25
Помогите найти исходник сетевого сканера!


3-82675
AlexeyMir
2002-11-07 13:38
2002.11.25
Удаление записей в Paradox из Delphi


1-82817
EvgenyDr
2002-11-12 23:10
2002.11.25
Вызов функций DLL из компонента.


6-82890
bander_log
2002-09-26 12:27
2002.11.25
получение имени машины


1-82844
Cashey
2002-11-12 22:23
2002.11.25
Округление дробной части числа