Формализация высказывания

Содержание

1. Формализация высказывания
2. Цели: разобрать деление союзов и
3. Для КОНЬЮНКЦИИ (^, &)– логич. УмножениеФормуле «А
4. ДИЗЬЮНКЦИЯ ( V, or) – логическое сложение«А
5. Постройте логические формулы суждений:Счастье не в том,
6. Постройте логические формулы суждений:Мало времени у того,
7. Дополнительно:Кто хочет что-нибудь сделать – находит средство,
8. Дополнительно от 11А 2009г. выпуска:Быть смелым -
9. Спасибо за урок ☺Формализация высказываний.
10. Скачать презентанцию

Цели: разобрать деление союзов и некоторых других частей речи по «логическому» признаку; научиться строить логические формулы сложных суждений.Формализация высказываний.

Слайды и текст этой презентации

Слайд 1ФОРМАЛИЗАЦИЯ ВЫСКАЗЫВАНИЙ
«Мы говорим на разных языках, но смысл слов от

этого не меняется.»
М.А.Булгаков

Слайд 2Цели:
разобрать деление союзов и некоторых других частей

речи по «логическому» признаку;
научиться строить логические формулы

сложных суждений.

Формализация высказываний.

Цели: разобрать деление союзов и некоторых других частей речи по «логическому» признаку; научиться

Слайд 3Для КОНЬЮНКЦИИ (^, &)– логич. Умножение

Формуле «А & В» в

естественных языках соответствуют выражения:
«А и В», «А вместе с В»,

«как А, так и В», «А в то время, как В», «В, хотя и А», «А, а В», не только А, но и В».

Формализация высказываний.

Для КОНЬЮНКЦИИ (^, &)– логич. УмножениеФормуле «А & В» в естественных языках соответствуют выражения:«А и В», «А

Слайд 4ДИЗЬЮНКЦИЯ ( V, or) – логическое сложение
«А или В», «А

или В, или оба».
ИНВЕРСИЯ
«не А», «не верно, что А».
ИМПЛИКАЦИЯ
«Если А,

то В», «А тогда, когда В», «коль скоро А, то и В», «в случае А имеет место В»,
«В если А», «В только А», «для В достаточно А», «А влечет В»

Формализация высказываний.

ДИЗЬЮНКЦИЯ ( V, or) – логическое сложение«А или В», «А или В, или оба».ИНВЕРСИЯ«не А», «не верно,

Слайд 5Постройте логические формулы суждений:
Счастье не в том, чтобы всегда делать,

что хочешь, а в том, чтобы хотеть того, что делаешь.

А.Н.Толстой.
Трудности должны будоражить, а не обескураживать. У. Ченнинг.
Только ничего не делающий не ошибается.
Твои друзья первыми замечают твои успехи, а твои враги первыми замечают твои ошибки

Формализация высказываний.

Постройте логические формулы суждений:Счастье не в том, чтобы всегда делать, что хочешь, а в том, чтобы хотеть

Слайд 6Постройте логические формулы суждений:
Мало времени у того, кто ничего не

делает
Многие люди полагают, что они думают, в то время как

они просто пересматривают свои предрассудки
Человек компетентный –тот, кто заблуждается по правилам.
Успевает всюду тот, кто никуда не торопится. М.Булгаков

Формализация высказываний.