Proposições simples e compostas; tabelas-verdade; equivalências; leis de De Morgan; diagramas lógicos.
A Lógica proposicional ( ou sentencial) consiste em equacionar por meio de expressões uma ou mais sentenças, tais sentenças podem ser compostas, ou seja, podem vir conectadas com um operador lógico.
Uma proposição simples pode assumir dois valores falso (F) ou verdadeiro (V).
São proposições simples
"Fortaleza é uma cidade"
" Terra é um planeta"
São proposições simbólicas em matemática
4+5=20
1+3 < 5
(x>2) Ù (y=1)
São proposições compostas
Retornar
Conectivo
lógico e seu significado:
~ é o símbolo de negação (lê-se
“não”);
Ú é o
símbolo de disjunção (lê-se “ou”);
Ù é o
símbolo de conjunção (lê-se “e”);
à é o
símbolo de implicação (lê-se “se..., então...” ou “implica”);
ßà é o símbolo de equivalência (lê-se
“...se e somente se...” ou “equivale”);
Uma proposição simples pode assumir dois valores falso (F) ou verdadeiro (V).
São proposições simples
"Fortaleza é uma cidade"
" Terra é um planeta"
São proposições simbólicas em matemática
4+5=20
1+3 < 5
(x>2) Ù (y=1)
São proposições compostas
Retornar