Sembolik mantık ne işe yarar?

Sembolik mantığın (kısaca mantığın) kullanıldığı alanlardan birisi, matematik, geometri gibi formel bilimlerdir. Mantık, bu bilim lerin dayandığı temellerin araştımlmasmda, yapı ve işleyişinin ortaya konulmasında kullanılan bir araçdır.