Пропозиционални смятане
Една от възможностите (Хилберт) axiomatization на Пропозиционални логика е следната система от аксиоми:
;
;
;
;
;
;
;
;
;
;
.
с единственото правило:
(Модус поненс)
Теорема коректност Пропозиционални смятане твърди, че всички по-горе аксиоми са тавтологии, но от модус поненс правило на верни твърдения може да бъде само вярно. Доказателството на теоремата е тривиален и намалява до директна проверка. Много по-интересен е фактът, че всички останали е тавтология може да бъде получена от аксиоми, използвайки правилата на извод - така наречената теорема на завършеност на Пропозиционални логика.
Вижте какво е "Пропозиционални логика" в други речници:
Пропозиционални логика - Пропозиционални логика, Пропозиционални логика раздел на символична логика, изучаване сложни изрази, образувани от прости, както и техните взаимоотношения. За разлика от това, предикатна логика, прости изявления в този акт като ... ... Енциклопедия на епистемологията и философията на науката
Пропозиционални логика или Пропозиционални логика - раздел на дедуктивно логика, в които въпрос на истината (или неистинността) отчет (.. Т.е., съдебни решения, смята без тяхното предмета предикат структура) в мотивите се счита, въз основа на проучване на тяхното изразяване, така че следващия средства ... Съвременни философски речник
Пропозиционални логика - раздел логика, която изследва връзката между истината твърдения. В този раздел изявленията (предложения, предложения) се считат само t.zr. тяхната истина или лъжа, независимо от техния вътрешен предмет ... Философски Енциклопедия
Пропозиционални логика - Пропозиционални логика, Пропозиционални логика раздел на символична логика, изучаване сложни изрази, образувани от прости, както и техните взаимоотношения. За разлика от това, предикатна логика, прости изявления в този акт като ... ... Енциклопедия на епистемологията и философията на науката
Пропозиционални логика - (Пропозиционални логика) логика раздел, формализиране на използването на логиката и ставните връзки. или. не. ако и след това, и така нататък. н. на работниците и служителите за образуване на сложни изречения от проста. Казвайки нарича просто, ако тя не включва друга логика ... ... речник на термините
Logic (философия) - Logic (различни гръцки λογική «наука на разсъждение", "изкуството на разсъждение" от λόγος «ние", "аргумент" ..) Науката за формите, методите и законите на интелектуална познание, формализирани с помощта на логически език. Тъй като това ... ... Wikipedia
Логически отчети - за подобряване на тази статия, е желателно. Остави бележка под линия, за да направи по-точен показател за източниците. Логиката на отчета (или предложения ... Wikipedia
Положителна логика - логиката, в която единствената приемлива форма на разсъждения, които не са отказите, тоест, с причини неистинността на изявления ... Тъй като изразът "А е фалшива" е просто друга форма на "не" експресия в P. л. отказва от всякакви ... ... The Great съветска енциклопедия
- Логически отчети. Джеси Ръсел. Тази книга ще бъде направено в съответствие с вашата поръчка на технологии технология за печат при поискване. Високо качество на съдържанието от статиите в Уикипедия! Логиката на отчети (или Пропозиционални логика от ... Прочетете още Купи за 1125 рубли
Свързани статии