O simbolismo na lógica e na matemática é o que possibilita a criação de determinadas frases com símbolos que não são interpretáveis, mas objetivos. Objetivos no sentido de que significam uma coisa e nenhuma outra. Por exemplo: (α ∧ β) é uma formulação de qualquer proposição α e β que significa "α e β", ou "α mas β", isto é, representa um conectivo.
Desse modo podemos criar regras, como a lógica e a matemática fazem, para essas frases formuladas simbolicamente. Sendo assim, as duas não estão sujeitas às interpretações que muitos textos em nossa linguagem natural têm.
mickablack09
O simbolismo na lógica e na matemática é o que possibilita a criação de determinadas frases com símbolos que não são interpretáveis, mas objetivos. Objetivos no sentido de que significam uma coisa e nenhuma outra. Por exemplo: (α ∧ β) é uma formulação de qualquer proposição α e β que significa "α e β", ou "α mas β", isto é, representa um conectivo.
Desse modo podemos criar regras, como a lógica e a matemática fazem, para essas frases formuladas simbolicamente. Sendo assim, as duas não estão sujeitas às interpretações que muitos textos em nossa linguagem natural têm.