Сложные суждения. Понятие логич.союза

⇐ Предыдущая 123 4 5 Следующая ⇒

сост. из нескольких простых, соедин. логич.союзами

«и»;p Ù q; соед союз конъюнкция:истинно каждое прост.суждение в составе

Ú «или»: соед-разделит союз нестрогая дизъюнкция: сужд. истинно тогда, когда истинно хотя бы 1 прост. суждение в его составе

Ú¢ «либо…, либо»; исключ-разделит союз строгая дизъюнкция - сужд. истинно тогда, когда истинно лишь 1 из прост. сужд в его составе

p ®q «если…,то»; условный союз импликация – ложно только тогда, когда p истинно, а q-ложно, т.е. неправильно отражена условная зависимость 1 явления от др. выражает связь основания и следствия

p«q «если и только если…,то»; равносильность эквиваленция - истинно только тогда, когда логичские значения p и q совпадают) утверждается взаимная обусловленность 2 ситуаций, стираетсячеткая грань между основанием и следствием

11. Умозаключение как форма мышления

Умозаключение – интеллект. операция, направл. на выведение из некот. кол-ва исходных суждений нового суждения, с необходимостью или определённой степенью вероятности следующего из них

Стр-ра: посылки (исходные суждения); заключение (новое суждение, выведенное из посылок); связка (выражение, указывающ. на наличие определ. отн. между посылками и заключением)

Классификация:

► дедуктивные ( движ. мысли от более общего к менее общему ), индуктивные ( от менее общих посылок к более общим )

►правдоподобные ( при истин. посылок и соблюд. правил гарантируется истинность заключения ), выроятностные ( при истинных посылках обеспеч. определ. степень правдоподобия заключения )

⇐ Предыдущая 123 4 5 Следующая ⇒

Не нашли, что искали? Воспользуйтесь поиском:

vikidalka.ru - 2015-2024 год. Все права принадлежат их авторам! Нарушение авторских прав | Нарушение персональных данных