Escolar Documentos
Profissional Documentos
Cultura Documentos
MATEMÁTICA III
AULA – 04
NOÇÕES DE
LÓGICA
Caro estudante,
Bons estudos!
Nesta aula, o objetivo específico é que você, aluno, aprenda um pouco da
história da lógica, como ela se iniciou nos ramos da matemática e de áreas afins. Além
disso, será capaz de desenvolver a capacidade de usar e entender discursos,
conhecer a linguagem matemática básica e estabelecer ideias de demonstrações
lógicas.
1 NOÇÕES DE LÓGICA
Para que a lógica matemática seja bem estruturada, existem duas regras
fundamentais que precisam ser respeitados: o Princípio da não contradição Princípio
do terceiro excluído. Quando aceitamos tais princípios, construímos uma lógica
chamada de lógica bivalente. Existem outras estruturas lógicas que são determinadas,
contrariando essas relações, mas só são estudadas em cursos avançados de lógica.
O Princípio da não contradição afirma que uma proposição não pode ser
verdadeira e falsa ao mesmo tempo. Quando enunciamos, por exemplo, a proposição
р: π> 5, tal proposição é ou verdadeira ou falsa, mas nunca pode assumir os dois
valores ao mesmo tempo. Isso acontece na maioria dos fatos que existem em nosso
mundo, entretanto isso não é válido para o caso da física quântica, segundo a qual,
uma informação pode ser verdadeira ou falsa ao mesmo tempo. Por conta disso, como
a física quântica não respeita o Princípio da não contradição e, por isso, dizemos que
ela não é uma lógica bivalente.
1.1.5 Tabela-verdade
1.1.7 Conjunção
Obviamente, tal proposição 𝒑↔𝒒 não existe na legislação de trânsito, visto que
existem outras formas de ser multado. Entretanto, nos cenários em que a única forma
de um evento acontecer é quando outro evento também acontece e vice-versa,
dizemos que temos uma proposição bicondicional. Quando analisarmos equivalências
lógicas, verificaremos que a bicondicional pode ser escrita em função da condicional
e da conjunção.
Veja que teremos a seguinte tabela-verdade para esse conectivo:
Veja a relação do que foi discutido acima com os quatro casos possíveis para
essa situação.
NA PRÁTICA
Suponha que as proposições 𝒑, 𝒒, 𝒓 possuem valores lógicos 𝑽, 𝑭 e 𝑭,
respectivamente. Determine o valor lógico das seguintes proposições compostas:
A) ~ 𝒑
B) 𝒒Ʌ 𝒓
C) 𝒒v 𝒓
D) 𝒑v𝒒
E) ~ 𝒑v𝒒
F)~( 𝒑v𝒒)
A solução está na seção seguinte.
FINALIZANDO
Esperamos que neste capítulo você tenha compreendido os principais
conceitos iniciais para o estudo da lógica matemática. Nosso objetivo principal é a
construção de argumentos válidos, os quais são realizados com base no uso de
proposições, simples e compostas, mediadas pelos conectivos.
Solução - Na prática
1. 𝑉 (~𝑝) = F
2. 𝑉 (𝑞Ʌ𝑟) = F
3. 𝑉 (𝑞V𝑟) = F
4. 𝑉 (𝑝v𝑟) = V
5. 𝑉 (~𝑝v𝑞) = F
6. 𝑉 (~(𝑝v𝑞) = F
REFERÊNCIAS BIBLIOGRÁFICAS
ANTON, H.; BIVENS, I.; DAVIS, S. Cálculo. 10. ed. Porto Alegre: Bookman, 2014. 2
v.
BRAGA, R. O. Cálculo I: estudo da derivada. São Leopoldo: Unisinos, 2012.
ROGAWSKI, J. Cálculo, volume 1. Porto Alegre: Bookman, 2008.
ABE, J. M.; SCALZITTI, A.; SILVA FILHO, J. I. Introdução à lógica para a ciência
da computação. São Paulo: Arte & Ciência, 2002.