Формален систем
From Wikipedia, the free encyclopedia
Во формалната логика, формален систем (наречен и логички систем или логичко сметање) се состои од формален јазик заедно со дедуктивен систем кој се состои од множество правила на инференција и/или аксиоми. Формалниот систем се користи за изведување на израз од еден или повеќе други изрази претходно наведени во системот. Овие изрази се нарекуваат аксиоми (кај оние кои однапред се земаат за вистинити), или пак теореми (кај оние кои се изведени). Еден формален систем може да се формулира и изучува заради неговите сопствени својства, или пак за опишување (т.е. моделирање) на надворешни појави.