Презентация, доклад по теме Логика 10кл.

объем

Все Р есть S

Все A не суть B

3 . Логическая связка – выражает связь между субъектом и предикатом («Р есть S» или «Р не есть S»)
4. Кванторное слово - указывает на тот объем, в котором мыслится субъект. Выражено либо словами «все», «ни один» «любой», «каждый», «некоторые»

Термины суждения

Цветы не поливали

Я имею право на отдых

Я - гражданин России

Некоторые S есть P1

Некоторые S есть P2

Кондотьеры владеют ремеслом или превосходно, или посредственно

S есть P1 или Р2

P есть М
S есть М
S есть P

Некоторые живые существа ядовиты.
Котики — это живые существа.
Котики ядовиты

Некоторые M есть Р
Некоторые S есть М
Некоторые S есть Р

Все змеи рода аспидовых ядовиты.
Кобра — это змея рода аспидовых .
Кобры ядовиты

Правила посылок

Люди не птицы.
Собаки не люди.
?

Все боксеры — спортсмены.
Некоторые люди — боксеры.
?

Правила фигур

Софизм

а = b
a x a = a х b,
a2 = ab
a2 — b2 = ab — b2
(a + b) (a — b) = b (a — b)
a + b = b
b + b = b
2b = b
2 = 1.

Например:
А = Днем светит солнце = 1
В = У каждого человека 5 ног = 0
С = Кто выучил уроки? –
D = х>5 –

1

0

0

1

также: , ⌐ А not A (Паскаль),

Таблица истинности логического выражения Х
– это таблица, где в левой части записываются все возможные комбинации значений исходных данных, а в правой – значение выражения Х для каждой комбинации.

0

0

конъюнкция – от лат. conjunctio — соединение

Высказывание «A и B» истинно тогда и только тогда, когда А и B истинны одновременно.

1

1

дизъюнкция – от лат. disjunctio — разъединение

Высказывание «A или B» истинно тогда и только тогда, когда истинно хотя бы одно из входящих в него простых высказываний

1

1

1

0

Высказывание «A  B» ложно только в том случае, когда из истинного высказывания следует ложь.

А=«Угол прямой»=1
В=«Угол равен 90о»=1

Л

М

Т

О

о

в

л

р

Лр=1
Тр=0
Ор=0

→Мл=0
→ Мв=1
→ Ло=1

Противоречие:
Лр и Ло не могут быть одновременно

Мл=1
Мв=0
Ор=0

→Лр=0
→ Тр=1
→ Ло=1

Вывод:
Таня – рис.
Маша – лепку
Лена – отк.
Оля - вышивку

ОЛЯ

АНЯ

(Ж1˅Ж2)

˄П

ж1

п

ж2

Y

X

X

Y

X˄Y

X˄Y

F