CONCEITO CARACTERÍSTICAS BÁSICAS

É UMA FRASE DECLARATIVA É UMA ORAÇÃO (PRESENÇA DE SUJEITO E PREDICADO)

(DECLARAÇÃO)
É DECLARATIVA
ADMITE VALORES LÓGICOS:
TEM UM, E SOMENTE UM, VALOR LÓGICO. (OU V OU F)

VERDADEIRO (V) FALSO (F)

PROPOSIÇÕES LÓGICAS
MACETE (NÃO PROPOSIÇÕES)
NÃO SÃO PROPOSIÇÕES O PAI É SEVERINO

FRASES EXCLAMATIVAS SENTENÇAS SEM VERBO

ORDENS
PARADOXIAIS
FRASES INTERROGATIVAS FRASES ABERTAS: “X + 1 = 7”
ABERTAS
FRASES IMPERATIVAS (ORDENS) FRASES PARADOXAIS: “SÓ SEI QUE NADA SEI.” INTERROGATIVAS
EXCLAMATIVAS
SEM VERBO
 NÃO PODE SER DIVIDIDA EM
SIMPLES PROPOSIÇÕES MENORES.

TIPOS DE PROPOSIÇÃO SÃO DUAS OU MAIS PROPOSIÇÕES CONECTADAS

COMPOSTAS ENTRE SI, RESULTANDO NUMA ÚNICA
DECLARAÇÃO.

PROPOSIÇÕES LÓGICAS REPRESENTAÇÃO

DAS
PRINCÍPIO DA IDENTIDADE
PROPOSIÇÕES
UMA PROPOSIÇÃO VERDADEIRA É SEMPRE VERDADEIRA. UMA
PROPOSIÇÃO FALSA É SEMPRE FALSA. NA RESOLUÇÃO DE QUESTÕES
ENVOLVENDO PROPOSIÇÕES,
UTILISA-SE PARA, PARA FACILITAR
PRINCÍPIOS PRINCÍPIO DA NÃO CONTRADIÇÃO A RESOLUÇÃO, A REPRESENTAÇÃO
POR MEIO DE LETRAS.
UMA PROPOSIÇÃO NÃO PODE SER VERDADEIRA E FALSA
SIMULTANEAMENTE.
Exemplo
P: JOÃO É PROFESSOR.
PRINCÍPIO DA TERCEIRO EXCLUÍDO Q: 10 > 12.
R: EVA FOI AO HOSPITAL VISITAR BIA
UMA PROPOSIÇÃO SÓ PODE TER UM DOS DOIS VALORES LÓGICOS, ISTO É,
OU É VERDADEIRA (V) OU FALSA (F), NÃO PODENDO TER OUTRO VALOR
 TIPOS
CONCEITO
CONJUNÇÃO CONDICIONAL
ELEMENTOS QUE UNEM AS PROPOSIÇÕES DISJUNÇÃO BICONDICIONAL
SIMPLES PARA FORMAR AS PROPOSIÇÕES COMPOSTAS.
DISJUNÇÃO EXCLUSIVA

CONECTIVOS LÓGICOS
CONJUNÇÃO
DISJUNÇÃO
CONECTIVO: e ou
CONECTIVO:
REPRESENTAÇÃO: ^ v
REPRESENTAÇÃO:
VERDADEIRO = AMBAS FOREM V
VALOR LÓGICO: VERDADEIRO = UMA OU MAIS FOR V
FALSO = UMA OU MAIS FOR F VALOR LÓGICO:
FALSO = AMBAS FOREM F
DISJUNÇÃO EXCLUSIVA CONDICIONAL

CONECTIVO: OU . . .OU CONECTIVO: SE . . . ENTÃO

REPRESENTAÇÃO: v REPRESENTAÇÃO: →
VERDADEIRO = VL CONTRÁRIOS VERDADEIRO = DEMAIS CASOS
VALOR LÓGICO: VALOR LÓGICO:
FALSO = VL IGUAIS FALSO = PRIMEIRA V E SEGUNDA
F

CONECTIVOS LÓGICOS
MACETE (CONDICIONAL) BICONDICIONAL
A VELHA FOFOQUEIRA É FALSA
CONECTIVO: SE E SOMENTE SE
V → F (F)
REPRESENTAÇÃO: ↔
OBS: VERDADEIRO = FOREM IGUAIS
VALOR LÓGICO:
FALSO = FOREM DIFERENTES
VL → VALOR LÓGICO
 EXPRESSÕES EQUIVALENTES AO “SE ... ENTÃO”

SE P, Q TODO P É Q Q É CONDIÇÃO NECESSÁRIA PARA P

Q, SE P P IMPLICA Q P SOMENTE SE Q
QUANDO P, Q P É CONDIÇÃO SUFICIENTE PARA Q

CONECTIVOS LÓGICOS
EXPRESSÕES EQUIVALENTES AO “SE E SOMENTE SE”

P SE E SÓ SE Q P É CONDIÇÃO SUFICIENTE E NECESSÁRIA PARA Q

SE P ENTÃO Q E SE Q ENTÃO P Q É CONDIÇÃO SUFICIENTE E NECESSÁRIA PARA P

P SOMENTE SE Q E Q SOMENTE SE P
OBS:
TODO P É Q E TODO Q É P
A PROPOSIÇÃO BICONDICIONAL É EQUIVALENTE A UMA
CONJUNÇÃO DE DUAS CONDICIONAIS
p ↔ q = (p → q) ^ (q → p)
 CONDIÇÃO SUNFICIENTE X CONDIÇÃO NECESSÁRIA
NA PROPOSIÇÃO, p → q
P É CONDIÇÃO SUFICIENTE PARA Q.

CONECTIVOS LÓGICOS
Q É CONDIÇÃO NECESSÁRIA PARA P

NA PROPOSIÇÃO, p ↔ q
P É CONDIÇÃO NECESSÁRIA E SUFICIENTE
PARA Q, E VICE-VERSA.

TABELA VERDADE DAS PROPOSIÇÕES COMPOSTAS:

VALOR LÓGICO DE P VALOR LÓGICO DE Q ( P ^ Q) (P V Q) (P V Q) (P → Q) (P ↔ Q)

V V V V F V V

V F F V V F F

F V F V V V F

F F F F F V V
 OPERADOR “NÃO”

NEGAÇÃO USADO PARA NEGAR

PROPOSIÇÕES SIMPLES
VALOR
LÓGICO
EXPRESSÕES
EQUIVALENTES

TABELA-VERDADE DA NEGAÇÃO: VALOR LÓGICO CONTRÁRIO DO NÃO É VERDADE QUE...

VALOR DA PROPOSIÇÃO QUE SE
DEVE NEGAR É FALSO QUE...
P ~P
É MENTIRA QUE...
V F SIMBOLO
¬ ou ~
F V

NO CASO DE DUPLA NEGAÇÃO:

NEGAÇÃO DA NEGAÇÃO: * NÃO HÁ ALTERAÇÃO.
NO CASO VÁRIAS NEGAÇÕES:
BASTA EXCLUIR A PALAVRA “NÃO”
* QUANTIDADE ÍMPAR = VL SERÁ INVERTIDO
EX: MARIA NÃO É PROFESSORA * QUANTIDADE PAR = VL CONTINUA O MESMO
NEGATIVA: MARIA É PROFESSORA
 CONCEITO: NÚMERO DE LINHAS:

É UMA TABELA EM QUE SÃO n = QUANTIDADE DE PROPOSIÇÃO

ANALISADOS OS VALORES LÓGICOS DE 𝟐𝒏 SIMPLES
PROPOSIÇÕES COMPOSTAS.

TABELA-VERDADE
TAUTALOGIA
CONTINGÊNCIA

PROPOSIÇÃO COMPOSTA CUJO

CONTRADIÇÃO
VALOR LÓGICO É SEMPRE V PROPOSIÇÃO COMPOSTA CUJO
VALOR LÓGICO PODE SER V OU F
PROPOSIÇÃO COMPOSTA CUJO VALOR LÓGICO É
SEMPRE F
NA ÚLTIMA COLUNA DA TABELA-
VERDADE SÓ HÁ VALOR LÓGICO V NA ÚLTIMA COLUNA DA TABELA-
VERDADE HÁ VALOR LÓGICO V E F
NA ÚLTIMA COLUNA DA TABELA-VERDADE
SÓ HÁ VALOR LÓGICO F
 CONCEITO

EQUIVALÊNCIA LÓGICA DUAS PROPOSIÇÕES SÃO LOGICAMENTE

EQUIVALENTES QUANDO APRESENTAM
TABELAS-VERDADE IDÊNTICAS.

p ^ p = p
IDEMPOTENTE p ˅ p = p

p ˅ (p ^ q) = p

ABSORÇÃO p ^ (p ˅ q) = p
PROPRIEDADES p ^ q = q ^ p
FUNDAMENTAIS DE p ˅ q = q ˅ p
EQUIVALÊNCIA LÓGICA COMUTATIVAS p ⟷ q = q ⟷ p

(p ^ q) ^ r = p ^ (q ^ r)
ASSOCIATIVAS (p ˅ q) ˅ r = p ˅ (q ˅ r)

DISTRIBUTIVAS p ^ (q ˅ r) = (p ^ q) ˅ (p ^ r)
p ˅ (q ^ r) = (p ˅ q) ^ (p ˅ r)
CONDICIONAL PARA CONDICIONAL CONDICIONAL PARA DISJUNÇÃO

p ⟶ q = ~q ⟶ ~p p ⟶ q = ~p ˅ q

TROCAM-SE OS TERMOS DA 1º PASSO: NEGA-SE O PRIMEIRO TERMO

1º PASSO: CONDICIONAL DE POSIÇÃO
2º PASSO: MANTÉM-SE O SEGUNDO TERMO
2º PASSO: NEGAM-SE AMBOS OS TERMOS
TROCA-SE O CONECTIVO CONDICIONAL PELO
3º PASSO: OU

EQUIVALÊNCIA LÓGICA
DISJUNÇÃO PARA CONDICIONAL BICONDICIONAL PARA CONJUNÇÃO
p ˅ q = ~p ⟶ q (p ⟶ q) ^ (q ⟶ p)

1º PASSO: NEGA-SE O PRIMEIRO TERMO

(~q ⟶ ~p) ^ (q ⟶ p)
2º PASSO: MANTÉM-SE O SEGUNDO TERMO p ⟷q
3º PASSO: TROCA-SE O CONECTIVO OU PELA (p ⟶ q) ^ (~p ⟶ ~q)
CONDICIONAL

(~q ⟶ ~p) ^ (~p ⟶ ~q)