Логички систем
From Wikipedia, the free encyclopedia
У формалној логици, формални систем (такође логички систем[1], логички рачун[2] или просто логика[1]) се састоји од формалног језика и скупа правила извођења и(ли) аксиома. Ове компоненте могу да се називају дедуктивним системом или дедуктивним апаратом. Формални систем се користи за извођење (закључивање) једног израза из једног или више претпостављених (аксиома) или изведених (теорема) израза. Формални систем може бити формулисан и проучаван због својих унутрашњих својстава, или може бити намењен опису (то јест моделовању) спољашњих феномена.