Логички систем — разлика између измена

м
pravljenje sablona Cite book
м (Разне исправке)
м (pravljenje sablona Cite book)
У [[логика|формалној логици]], '''формални систем''' (такође '''логички систем'''<ref name="CDP">-{[[Роберт Ауди|Audi, Robert]] (Editor). ''The Cambridge Dictionary of Philosophy''. Second edition,. {{page1|location=|publisher=Cambridge University Press. {{page|year=1999|isbn=978-0-521-63136-5|pages=}}. (hardcover) and. ISBN 978-0-521-63722-0. (paperback).}-</ref>, '''логички рачун'''<ref>-{[[Рудолф Карнап|Rudolf Carnap]]. ''Introduction to Symbolic Logic and its Applications'',Dover. 1958. pp. 101.}-</ref> или просто '''логика'''<ref name="CDP" />) се састоји од [[формални језик|формалног језика]] и скупа [[правило извођења|правила извођења]] и(ли) [[аксиома]]. Ове компоненте могу да се називају [[дедуктивни систем|дедуктивним системом]] или ''дедуктивним апаратом''. Формални систем се користи за извођење (закључивање) једног израза из једног или више претпостављених (аксиома) или изведених ([[теорема]]) израза. Формални систем може бити формулисан и проучаван због својих унутрашњих својстава, или може бити намењен опису (то јест [[модел (логика)|моделовању]]) спољашњих феномена.
 
== Преглед ==
363.220

измена