4. Условно разделительное умозаключение -
дилемы - конструктивные и деструктивные
простая конструктивная - из двух оснований одно следствие.
во второй - одной из оснований
в заключение - наступит следствие.
простая деструктивная делема - из одного основания вытекают два разных следствия. в разделительной посылке отрицается одно из следствий в заключении отрицается одно из оснований.
сложная деструктивная дилема - в условных посылках из разных оснований вытекают разные следствия, в разделительной отрицается одно из следствий.
формализованный язык логики
дорожки, по которым дети проходят из здания в здание, содержатся в идеальной чистоте, а если в ненастную погоду они бывают мокрыми от дождя, то ученик несет на ногах только влагу, но не грязь и не пыль.
а) дорожки, по которым дети проходят из здания в здание, соджержатся в идеальной чистоте - сложно подчиненое, простое - Р
б) а если в ненастную погоду они бывают мокрыми от дождя - Q
с)ученик несет на ногах только влагу - R
а) ученик несет на ногах не грязь - ~\S
б) ученик несет на ногха не пыль - ~\T
а1) ученик несет на ногах грязь - S
б1) ученик несет на ногах пыль - T
P&(Qэ(R&~\S&~\T))
Если петров здоров, то он здоров и богат.
а) р
б) р&r
pƆ(p&r)
|
p |
r |
P&r |
pƆ(p&r) |
|
И |
И |
И |
И |
|
И |
Л |
Л |
Л |
|
Л |
И |
Л |
И |
|
Л |
Л |
Л |
И |
Если петров здоров, то он здоров или богат
P&(PvR)
|
P |
r |
Pvr |
pƆ(pvr) |
|
И |
И |
И |
И |
|
И |
Л |
И |
И |
|
Л |
И |
И |
и |
|
Л |
Л |
Л |
И |
Если петров здоров и богат, то он здоров.
┌(pvq)
|
P |
Q |
PvQ |
┌(PvQ) |
|
И |
И |
И |
Л |
|
И |
Л |
И |
Л |
|
Л |
И |
И |
Л |
|
Л |
Л |
л |
И |
┌p&┌q
5 Мньше 3, то
Выводы логики высказываний.
Если погода испортится, экскурсия не состоится. Если экскурсия не состоится, то мы пойдем в театр. Значит, если погода испортится, мы пойдем в театр.
Если погода испортится, экскурсия не состоится. РƆ┌Q
Если она не состоится, то мы пойдем в театр ┌QƆr
Если погода испортится , мы пойдем в театр. pƆr
РƆ┌Q, ┌QƆr ˫ pƆr
((РƆ┌Q)&(┌QƆr))Ɔ(pƆr)
Сидоров не справится с этим заданием, если не усвоит теоретический материал. Но Сидоров усвоил теоретический материал. Значит, он справится с этим заданием
Если число является натуральным, то оно рационально. Если число рационально, то оно вещественно. Следовательно, если число является натуральным, то оно вещественно
pƆq
qƆr
pƆr
((pƆq)& (qƆr))Ɔ pƆr
Если междометие произносится с особой силой, то после него ставится восклицательный знак. Междометие произнесено с особой силой. Следовательно, после него должен быть поставлен восклицательный знак
pƆq
q
q
((pƆq)&p)Ɔq
Если молния ударяет в провода, несущие электрический ток, то в них повышается напряжение. Молния не ударила в провода, несущие электрический ток. Следовательно, напряжение в них не повысилось.
pƆq
┌p
┌q
((pƆq)&┌p)Ɔ┌q
Произведение не может считаться художественным, если оно не правдиво. Это произведение не художественное. Следовательно, оно не является правдивым
Если произведение не правдиво, то оно не художественно. Это произведение не художественно. Следовательно оно не правдивы.
┌pƆ┌q
┌q
┌p
((┌pƆ┌ q)& ┌q)Ɔp
Если я поеду из театра в метро, то мне надо будет долго идти до дома. Если я поеду из театра на троллейбусе, то мне придется идти по темной улице. Я поеду из театра вечером или в метро, или на троллейбусе. Следовательно, мне придется идти по темной улице или надо будет долго идти до дома.
pƆq rƆe
Тени от солнца стали самыми короткими. Следовательно, солнце находится в зените
Тени от солнца стали короткими
Солнце находится в зените
Если тени от солнца стали самыми короткими, то солнце находится в зените.
Если солнце находится не в зените, то тени от солнца не самые короткие.
Мыслю, следовательно, существую
Мыслю
Следовательно существую
Если мыслю то следовательно существую
Если не существую, то не мыслю.
Квадрат одной стороны треугольника равен сумме квадратов двух других его сторон. Следовательно, этот треугольник прямоугольный – дома.