RACIOCÍNIO LÓGICO EQUIVALÊNCIA DAS

TABELA-VERDADE PROPOSIÇÓES
RESUMO DE VÉSPERA
+ Cobrada Equivalência da Condicional.
PM-SC Para o E (^) Dupla negação equivale a uma

negação
Só será verdadeira quando AMBAS afirmação.

Dupla
LÓGICA PROPOSICIONAL forem verdadeiras. ~ (~P) = P
✓ Proposição: sentença
declarativa em que se pode A B A^B Ordem da proposição não

Propriedade comutativa
atribuir valor lógico V ou F. V V V importa. Aplicada aos
V F F conectivos: ^ v  v
✓ Princípios da Proposição:
F V F
o Identidade: verdade é Representação da propriedade:
F F F
sempre verdadeira; ✓ PvQ=QvP
o Não-contradição: não Para o OU (v) ✓ P^Q=Q^P
pode ser V ou F ao mesmo Só será falso quando AMBOS os ✓ PQ=QP
tempo; conectivos forem falsos. ✓ PvQ=QvP
o Terceiro Excluído: só

Propriedade
idempotente
tem dois valores verdade A B AvB ✓ PvP=P
(V ou F). V V V ✓ P^P=P
V F V
✓ Não são proposições as F V V
sentenças: F F F Regra do “chuveirinho”. É

Propriedade distributiva
aplicada à CONJUNÇÃO e
o Interrogativas; DISJUNÇÃO;
o Exclamativas; Para o SE...ENTÃO... (→)
o Imperativas;
1ª for verdadeira e a 2ª for falsa = F
o Sentenças abertas;
o Frases paradoxais;
A B A →B
o Frases optativas;
V V V
o Frases sem verbo;
V F F
F V V São DUAS condicionais!
Propriedade da

CONECTIVOS
bicondicional

F F V P  Q = (P→Q) ^ (Q→P)
Conecti Nome Represe
Valores lógicos das Tabelas-
vo ntação Para a BICONDICIONAL (...SE E
Verdade de P Q e A^B são
Conjunção SOMENTE SE...)
E / Nem ^ idênticos.
Só será verdadeiro quando os valores
/ Mas / , lógicos forem IGUAIS. Há 2 possibilidades de fazer
Disjunção equivalência da
OU (inclusiva) v CONDICIONAL
Condicional A B AB
FORMA 1 – Inverte e Nega
Implicância V V V (contrapositiva)
SE... → V F F Proposição composta: P → Q
ENTÃO F V F Equivalência: ~Q → ~P
Equivalência da condicional

...
F F V FORMA 2 – Transforma no
...SE E “OU”
SOMEN Bicondiciona ⇔ Para Disjunção Exclusiva 1. Nega a 1ª proposição
TE SE... l (OU...OU...) (~P)
2. Mantém a segunda
...OU... Disjunção ∨ Só será verdadeiro quando os valores proposição (Q)
OU... (exclusiva) lógicos forem DIFERENTES. 3. Troca o “→” pelo
NÃO * ~ ou ¬ “v”
Vejamos:
A B A∨B Proposição composta: P → Q
OBS: Em relação à conjunção “E” V V F Equivalência: ~P v Q
MAS → é considerado “E” V F V
NEM → é considerado “E + F V V OBS: BIZU: use o nome NE
NÃO” F F F Y MAR => NEga a primeira
Vírgula (,) → “E” OU MAntém a segunda e
troca pelo OU.
 NEGAÇÃO DAS Agora adaptando para a Proposições TODO, ALGUM
PROPOSIÇÕES BICONDICIONAL: e NENHUM
- Essa tabela foi feita para
→Negação da Conjunção: ajudar o candidato:
✓ P. composta:
AvB
✓ Negação P. composta: Tautologia, Contradição e
Contingência
~ (A v B) - Fenômeno pelo qual todos
✓ Resultado da negação:

TAUTOLOGIA
os valores lógicos de uma
tabela-verdade têm como
~A ^ ~B resultado VERDADEIRO.

→Negação da Condicional:
- Regra do MANÉ:
1º - Mantém a primeira - Fenômeno pelo qual todos
CONTRADIÇÃO

proposição; os valores lógicos de uma

2º - Nega a segunda proposição; tabela-verdade têm como
resultado FALSO.
3º - Troca o “→” pelo “E”

→Para que o candidato não

confunda a negação com a
equivalência, montamos a tabela - Quando uma proposição
composta recebe valores
CONTINGÊNCIA

abaixo: lógicos FALSOS e

VERDADEIROS. Ou seja:
Equivalência Negação da quando não for tautologia,
da Condicional Condicional nem contradição, é
1º - Nega a 1º - Mantém a contingência.
primeira; primeira
2º - Mantém a proposição;
segunda; 2º - Nega a Agora é interessante observar a
3º - Troca o “→” segunda relação do TODO com o
pelo “OU” proposição;
3º - Troca o SE...ENTÃO...
“→” pelo “E” Relação do “Todo” e
Regrinha do Regra do “Se...Então”
Troca pelo OU MANÉ Visão Visão
ESPECÍFICA – GERAL -
Se...Então Todo
Condição Suficiente e
Se João é Todo
Condição Necessária piauiense piauiense é
Então João é brasileiro.
brasileiro.
- Perceba que a - Perceba que
proposição fala a proposição
apenas do João. da de “Todo”
piauiense.
CS / CN ➔ CONDICIONAL
CONDIÇÃO CONDIÇÃO
SUFICIENTE NECESSÁRIA
MANTÉM a INVERTE a
ordem das ordem das
proposições proposições
 LÓGICA DE DIAGRAMAS LÓGICOS LÓGICA DOS
ARGUMENTAÇÃO - Diagrama do TODO: PREDICADOS
- Silogismo é o argumento Todo P é Q. ✓ ∀x = Quantificador Universal
válido; – qualquer que seja / para
- P1 + P2 = Conclusão todo
- FGV: O silogismo é uma forma
de raciocínio dedutivo. Na sua ✓ ∃x = Quantificador
forma padronizada, é Existencial – existe / existe
constituído por três - Diagrama do NENHUM: pelo menos um
proposições: as duas primeiras Nenhum A é B.
denominam-se premissas e a →Equivalência
terceira, conclusão. As
premissas são juízos que
precedem a conclusão. Em um →Negação:
silogismo, a conclusão é
consequência necessária das
- Diagrama do ALGUM:
premissas.
Algum A é B
RELEMBRANDO ALGUNS
SÍMBOLOS
MATEMÁTICOS
E Pertence
- Diagrama do ALGUM Não pertence
NÃO: Está contido
Não está contido
Algum B não é A.
Contém
R Números reais
N Números naturais
Z Números inteiros
/ Tal que
{,} Conjunto de
Conjunto vazio
União de
conjuntos
Intersecção de
conjuntos
 CONJUNTOS
→Relação de Pertinência:
o ∈ - Pertence;
o ∉ - Não Pertence;
OBS: É feito de Elemento → Conjunto
→Relação de Inclusão:
o ⊂ - Está contido;
o ⊃ - Contém;
o ⊄ - Não está contido;
OBS: É feita de Conjunto →Conjunto
→Operação entre conjuntos:
União:
Determina o conjunto de elementos
que resultam da junção dos elementos
de A e B.
Conjuntos Numéricos:
Naturais: N = {0, 1, 2, 3, 4, 5, 6, 7,
8, 9 ...}
Inteiros: Z = {..., -4, -3, -2, -1, 0, 1,
2, 3, 4, 5, 6, ...}
Racionais: Q =
1 1 2 2
{0±1, ± 2 , ± 3 , ±2, ± 3 , ± 5 , ±3, …}
Irracionais: I = {3,1415926... , √3
= 1,73205...}
Reais: É a UNIÃO do conjunto dos
números racionais com o conjunto dos
números reais;

Interseção:
Determina o conjunto de elementos
que pertencem simultaneamente a A e
a B.

Diferença:
Determina um conjunto de elementos
que pertencem ao conjunto A e não
pertencem ao conjunto B.