Aula 1 – Lógica: introdução, argumentos e operações do cálculo proposicional

Aula 1

Lógica: introdução, argumentos e operações do cálculo proposicional

Olá! Esta é a nossa primeira aula. Nela, faremos um breve passeio na história da Lógica, apontando em que contexto ela surgiu, quais estudiosos contribuíram para o seu desenvolvimento e que ramos da Matemática e de áreas afins se utilizam das teorias da Lógica para desenvolver suas próprias teorias. Esperamos, assim, reconhecer a importância da Lógica como linguagem formal para a Matemática e sua aplicação em qualquer área que exija raciocínios elaborados, bem como em casos práticos do nosso dia a dia.

Apresentamos, também, os elementos básicos para essa linguagem, destacando que a identificação e análise de raciocínios corretos estão entre os principais objetivos da Lógica, e iniciaremos nosso estudo do cálculo proposicional, introduzindo as principais operações deste cálculo.

Objetivos

ƒ Reconhecer a Lógica como linguagem formal para a Matemática e sua importância na atualidade ƒ Estudar o uso de argumentos corretos na formulação de discursos ƒ Conhecer as operações básicas do cálculo proposicional