Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Equivalência lógica
Quantificadores
Método de dedução
Regras de inferência
EQUIVALÊNCIA LÓGICA
~p ~q ~p ˄~q
p q p ˅ q ~(p ˅
q)
V V
V F
F V
F F
Exercício I: As tabelas ficam assim:
~p ~q ~p ˄~q
p q p ˅ q ~(p ˅
q)
V V
V F
F V
F F
Exercício II:
~p ~q ~p ˅~q
p q p ˄ q ~(p ˄
q)
V V
V F
F V
F F
Exercício II: As tabelas ficam assim.
QUANTIFICADORES
Os quantificadores
Quantificador universal
Símbolo:
Leitura: “para todo”, “qualquer que seja”
Quantificador existencial
Símbolo:
Leitura: “existe”
NEGAÇÃO DOS QUANTIFICADORES
A negação da sentença “TODO A é B” é “ALGUM A não é
B”. (Vemos aqui que: Troca-se TODO por ALGUM, mantém a
primeira sentença e nega-se a segunda.)
EXERCÍCIOS
1) A negação da proposição "todas as
questões da prova são difíceis" é
OS DIAGRAMAS LÓGICOS
Os diagramas são utilizados como uma
representação gráfica de proposições
relacionadas a uma questão de raciocínio
lógico. São utilizados em questões que
envolvem o termo “todo”, “algum” e
“nenhum”.
Conjunto: Um conjunto constitui-se em um número de objetos
ou números com características semelhantes. Podem ser
classificados assim:
Interseção
Nenhum A é B.