Так... доказательство простое. Из "не Б" следует "не А", потому что если бы из "не Б" могло следовать "А", то, как мы знаем, из "А" следует "Б". Т.е., получается, что из "не Б", следует "Б".
Пример:
если закрыть глаза - будет ничего не видно. (A->B)
если что-то видно - глаза открыты (не B-> не A).
Ну на самом деле в реальном мире часто не работает...

Исходное сообщение Alkor
Так... доказательство простое. Из "не Б" следует "не А", потому что если бы из "не Б" могло следовать "А", то, как мы знаем, из "А" следует "Б". Т.е., получается, что из "не Б", следует "Б".
Пример:
если закрыть глаза - будет ничего не видно. (A->B)
если что-то видно - глаза открыты (не B-> не A).
Ну на самом деле в реальном мире часто не работает...

брррр. вообще-то помнится учил мат логику в МГУ, первые лекции по мат анализу на физ-факе.

Коллега!
А зачем же тогда я вам тут все это рассказываю! :)

Исходное сообщение Alkor
Коллега!
А зачем же тогда я вам тут все это рассказываю! :)

кандидатскую защитил в 1989г., а докторскую в 1993 по специальности УДК.01.01.02 (теоретическая физика, в том числе математическая физика)

Alkor, а ты тоже физ фак?

А я в прошлом году аспирантуру бросила... Так что защиты не будет. Ну да ладно.

Alkor, а где? я жил в Черноголовке. ИТФ им. Ландау.

Davka, знаешь это: "Я иду, куда меня еще не было. Здесь уже побывал"?
Это из романа. А из анекдотов есть еще лучше. Но ты не спрашивай, не скажу

Леони, почему не скажешь?

Davka, не могу придумать как это поэлегантнее сказать. Ну, как ты, например, это сделал в постинге :)
Только смысл наоборот - кто остается, уже там... посылать не надо ;)

Леони, смысл понял. :) Кстати спасибо за поддержку. (тогда в посте с д-р. Аргоном. :)

Davka, не за что.
Спасибо за розу!

Леони, :):):):):):):)

Alkor, супер))))))))))))

Исходное сообщение Наль
Alkor, супер))))))))))))

это ты по-поводу чего?

Davka, рассуждения мне понравились))))))))

Наль, ааа, формальная и математическая логики?

Davka, угу))

Наль, :):)

Я закончила физфак МГУ, а в аспирантуре была в МИАНе.

Исходное сообщение Alkor
Я закончила физфак МГУ, а в аспирантуре была в МИАНе.

а чего бросила? Может быть хоть защититься стоило?

Конечно, стоило. Но не было сил и работать и учится, а нужны были деньги. К тому же мне хотелось не хотя бы защитится, а реально "заниматься наукой", что с работой точно не совместимо.
С одной стороны, жалею, с другой - понимаю, что вряд ли можно было решить по другому.

Alkor, понимаю.... . Сам из науки 10 лет назад ушёл.

Alkor, а сейчас чем занимаешься?

А сейчас руковожу группой тестирования ПО и заодно пытаюсь освоить работу аналитика-проектировщика.

Alkor, понятно.:):):):):):)