Логический квадрат смотри в тетради

Логический квадрат

Атрибутивное суждение

23.10.12

Ю.М. Матвієнко

О.А. Северин

В.М. Тимошенко

Конспект лекцій

із навчальної дисципліни

«Теорія технічних систем»

 

 

 

Комп’ютерна верстка М. Л. Онищенко

О. М. Онищенко

Редактор Н. В. Жигилій

Коректор Н. В. Жигилій

 

 

Друк RISO

Обл.-вид. арк. 4.33

 

Редакційно-видавничий відділ

Полтавського національного технічного університету

імені Юрія Кондратюка

36011, м. Полтава, пр. Першотравневий, 24

Свідоцтво про внесення суб’єкта видавничої справи

до Державного реєстру видавців, виготівників і розповсюджувачів

видавничої продукції

Серія ДК, №932 від 27.05.2002 р.

 

 

 
Віддруковано з оригінал-макета РВВ ПолтНТУ

Новый аргонон – новая наука требует индуктивные методы

Истина только то что осознанно и подтверждено

· ЛОГИКА-последовательное ,не противоречивое суждение

Логическое мышление которое содержит субъект S (свойства объекта П(признаки субъекта))

Суждения содержит

Логическая связка, Квантор общности(представляет как единый объём)

Вид суждения простое или сложное

Обще-утвердительные простое или сложное

Атрибут-неотъемлемый признак предмета

//Все хищные животные имеют клыки-(признак предмета)

Releativus Релеативные суждения

Все братья родственники(самое главное что заложено отношение родства)

Когда мы ставим вопрос появляется при ответе необходимость применить релеативное суждение

//Солнце светит-атрибутивное

//Солнце есть звезда-Существование(бытие)

Обще-утвердительное (простое)

//Все люди ходят на ногах

//Ни один человек не имеет крыльев(2 отрицания=> обще положительное)

Обще-отрицательное (простое)

//У всех людей нет крыльев

 

 

 

подчинение
Противоречие
Противоположность

 

 


Позволяет наглядно выяснить отношение понятий в суждениях в зависимости от их связи

Её наличии или же её отсутствии

Суждения сопоставимы--- не сопоставимы

Равнозначные---не равнозначные

Совместимы или--- не совместимы

Равнозначны или--- не равнозначны

Позволяет прийти к пониманию истинности или ложности суждений

· (Все люди(S) ходят на ногах(P))A

· (Ни один человек(S) не имеет крыльев(P))A

Солнце звезда (S i P)

Солнце звезда (S i P)

//(Все люди(S) не имею крылья(P))P

+

 

 


- o +

 

_

 

0-является мерой связи известного и не известного

Солнце это звезда и Солнце светит – мы можем объединить если только если объединим их но у них разные основания и по этому мы не можем сказать что одно подчиняет другое

Свет это понятие звезды а вот солнце и звезда. Нужно построить умозаключение (истинный вывод)=> Звезда светит

Умозаключение это логическая операция для выполнения которой нам необходимы 2 суждения(простых или сложных) отношение которых позволяет нам получить логический вывод так же в форме заключения

Умозаключение в составе которого 2 и не более суждений называется простым категорическим силлогизмом

Умозаключение в котором отсутствует одна из посылок(фактический вывод) называется энтимемой