Escolar Documentos
Profissional Documentos
Cultura Documentos
Rac. Lógico. Diagramas Lógicos
Rac. Lógico. Diagramas Lógicos
Formas Canônicas (Básicas): São as fundamentais
Todo “A” é “B”
Nenhum “A” é “B”
Algum “A” é “B”
Algum “A” que não é “B”
o FORMAS CANÔNICAS
TODO “A” é “B”. B
O conjunto A está contido em B
A é subconjunto de B A
B contém A
NENHUM A É B
A e B são disjuntos (não tem elementos em comum)
o Ex. Nenhum aluno (a) é brasileiro (b). A B
ALGUM A QUE É B
Pelo menos um A que é B
Existe A que é B X
Há elemento de A que é B
A
Página 1 de 5
RACIOCÍNIO LÓGICO – DIAGRAMAS LÓGICOS (02)
Polícia Civil de Pernambuco – PCPE 2023
Prof. Bruno Lima
COMUTATIVIDADES DAS PROPOSIÇOES
o TODO “A” É “B” - NÃO É COMUTATIVA.
Dizer que “todo a é b” é diferente de dizer que “todo b é a”
Ex. Todo mineiro é brasileiro ≠ todo brasileiro é mineiro (x)
Todo Aluno é brasileiro ≠ todo brasileiro é aluno
Exceção
“se todo a é igual á b, então todo b é igual a”
o NENHUM “A” É “B” – É COMUTATIVA
São equivalentes (↔), pois se observar as representações, observa-se que nenhum B também
não é B.
Ex. Nenhum professor é rico = nenhum rico é professor.
o ALGUM “A” QUE É “B” – É COMUTATIVA
Conforme a representação, é possível perceber que há algum b que é a. portanto, é
equivalente (↔) e comutativa.
Ex. Algum escritor é generoso = algum generoso é escrito.
o ALGUM “A” QUE NÃO É “B” – NÃO É COMUTATIVA
Não foi bem compreendido o porquê, mas não são equivalentes.
Ex. Algum professor não é brasileiro ≠ Algum brasileiro nã o é professor.
Sã o elementos que nã o tem a mesma característica. Sã o dois grupos distintos
(professor x brasileiro).
Ex. Nenhum carro é branco ≠ nenhum branco é carro (estas proposiçõ es deixam mais
claro o porquê de nã o serem comitativas.
PROPOSIÇÕES CATEGÓRICAS – EQUIVALÊNCIAS (NENHUM + NÃO/ TODO + NÃO/ NEM
TODO)
Página 2 de 5
RACIOCÍNIO LÓGICO – DIAGRAMAS LÓGICOS (02)
Polícia Civil de Pernambuco – PCPE 2023
Prof. Bruno Lima
Nenhum + não = TODO
ALGUM A QUE É B (pelo menos um, algum, existe)
EQUIVALÊNCIAS
o Nem sempre as proposições aparecem na forma canônica. Por exemplo, “há homens mortais” exprime
uma proposição categórica, mas não está na forma canônica. De modo a coloca-la na forma canônica
das proposições da forma “algum A são B”, teríamos de exprimir através da frase “alguns homens são
mortais”.
Há homens mortais = alguns homens são mortais
CANÔNICA EQUIVALENTE
Todo A é B Nenhum A não é B
Nenhum A é B Todo A não é B
Algum A não é B Nem todo A é B
Página 3 de 5
RACIOCÍNIO LÓGICO – DIAGRAMAS LÓGICOS (02)
Polícia Civil de Pernambuco – PCPE 2023
Prof. Bruno Lima
o ALGUM A NÃO É B (Expressa intercessão)
Elemento de A, mas não é elemento de B
Conectivo OU
Ex. Algum relógio não é barato
X é relógio e não é barato
X não é barato e X é relógio
Não é comutativo: fica ilógico
Ex. X não é relógio e x é barato ???? (não gera lógica). Se não é relógio, porque
estaria aferindo se é barato: portanto não é comutativo.
RESUMO
Página 4 de 5
RACIOCÍNIO LÓGICO – DIAGRAMAS LÓGICOS (02)
Polícia Civil de Pernambuco – PCPE 2023
Prof. Bruno Lima
PROPOSIÇÃO NEGAÇÃO
Todo A é B Algum A não é B
Nenhum A é B Algum A é B
Algum A é B Nenhum A é B
Algum A não é B Todo A é B
Página 5 de 5