Арицотелевские формы (А, Э, И, О)- четыре формы суждений, рассмотренные в логике Арицотеля- форма А (универсалный утвердителный). Все П - это +, Э-форма (универсалный отритсателный). Нет П - это +, И-форма (в чацноутвердителный). Некоторые П - это +, а форма О (конкретный отритсателный). Некоторые П не являются +
Логическая связноц- об’единение логических связей (?), диз’юнксия (?) и отритсание (¬) позволяют нам сформироват сложные суждения из более процых суждений. Они извецны как булевы связки после логики Джорджа Буля. Кон’юнксия соответцвует английскому слову и, диз’юнксия к или,и отритсание соответцвует фразе, это не так.
Полнота- формалная сицема завершена, эсли каждый дейцвителныйвывод доказуется с помощю правил сицемы.
Заключение- суждение, которое должно следоват из других суждений(предпосылок) в цруктуре умозаключения.
Do'stlaringiz bilan baham: |
