Você está na página 1de 11

I.

Conceito de Proposição;
II. Quantificadores Lógicos;
III. Propriedades das Proposições;
1º Bloco IV. Negação de Proposição e Dupla-Negação;
V. Tipos de Proposição;
VI. Conectivos Lógicos.

2º Bloco I. Tabelas Verdades.

I. Equivalência Lógica;
3º Bloco II. Negação das Proposições Compostas.

I. Tautologia;
II. Contradição;
4º Bloco III. Contingência;
IV. Relação Entre Todo, Algum e Nenhum.

5º Bloco I. Exercícios Relativos ao Encontro.

Lei do Direito Autoral nº 9.610, de 19 de Fevereiro de 1998: Proíbe a reprodução total ou parcial desse material ou divulgação com fins
comerciais ou não, em qualquer meio de comunicação, inclusive na Internet, sem autorização do Alfa Concursos Públicos Online.
I. PROPOSIÇÃO
Toda declaração (afirmação ou negação), que pode ser CLASSIFICADA em V (verdadeiro) ou F (falso).
A representação das proposições são letras do alfabeto, maiúsculas ou minúsculas.
Ex:
p: 7 + 2 = 9. (proposição)
b: Teresina é a capital do Maranhão. (proposição)
q: “Lula” foi presidente do Brasil. (proposição)
D: qual o seu nome? (pergunta - não é proposição)
S: que dia lindo! (exclamação - não é proposição)
F: feche a porta. (ordem - não é proposição)
w: x + 3 = 7 (sentença aberta - não é proposição)
Z: y – 4 = 17 (sentença aberta - não é proposição)
Obs. 1: perguntas (sentenças interrogativas), ordens (sentenças imperativas) e exclamações (sentenças
exclamativas) não são proposições.
Obs. 2: as sentenças abertas (com variáveis) também não são proposições, porem elas podem se transformar em
uma proposição, através dos quantificadores lógicos, como veremos adiante.

II. QUANTIFICADORES LÓGICOS


Servem para transformar uma sentença aberta em proposição, são eles:
∀ = para todo; qualquer que seja; todos;
∃ = existe; existe pelo menos um; existe um;
∄ = não existe; nenhum;
Exemplo:
x + 2 = 10 (sentença aberta)
∃ x, x + 2 = 10 (observe que com os quantificadores conseguimos classificar a sentença aberta, o que torna ela uma
proposição - verdadeira)
∀x, x + 2 = 10 (observe que com os quantificadores conseguimos classificar a sentença aberta, o que torna ela uma
proposição - falsa)

III. PROPRIEDADE DAS PROPOSIÇÕES


 Identidade: uma proposição verdadeira sempre será verdadeira, assim como uma proposição falsa sempre será
falsa.
Ex:
2 + 2 = 4 (verdadeira sempre)
3 x 3 = 6 (falsa sempre)
 Não contradição: uma proposição não pode ser verdadeira e falsa ao mesmo tempo.
Ex:
p: essa frase é falsa. (observe que se você classificar ela como verdadeira, ela fica falsa também)
 Terceiro excluído: uma proposição só admite os valores de verdadeiro ou falso, não existindo outros valores.

Lei do Direito Autoral nº 9.610, de 19 de Fevereiro de 1998: Proíbe a reprodução total ou parcial desse material ou divulgação com fins
comerciais ou não, em qualquer meio de comunicação, inclusive na Internet, sem autorização do Alfa Concursos Públicos Online.
IV. NEGAÇÃO (NÃO P = ~P = ¬P)
Serve para alterar o valor lógico das proposições. Logo, transforma uma proposição verdadeira em falsa, ou vice-
versa. Também conhecido como modificador lógico.
Ex:
p: este livro é de matemática
~p: este livro não é de matemática
¬p: não é verdade que esse livro é de matemática

V. LEI DA DUPLA NEGAÇÃO


~(~p) = p
Ex:
p: este livro é de matemática
~p: este livro não é de matemática
~(~p): não é verdade que esse livro não é de matemática
Logo, p: esse livro é de matemática.

VI. TIPOS DE PROPOSIÇÃO


 Simples: proposição única, que não pode ser dividida.
Ex:
a: Rio de Janeiro é conhecida como a cidade maravilhosa
 Composta: formada por mais de uma proposição, ligadas entre si por conectivos lógicos, podendo ser dividida.
Ex:
p: 4 é par e 7 é impar (composta)
T: se São Paulo é a terra da garoa, então São Paulo é uma cidade quente (composta)
Obs.:
 Somente as proposições compostas possuem conectivos lógicos
 Conectivos lógicos são operadores lógicos que se ligam as proposições simples para formar as proposições
compostas.
 O valor lógico de uma proposição composta depende do valor das proposições simples que a compõem, assim
como do conectivo utilizado.

VII. CONECTIVO LÓGICO


Serve para unir as proposições simples, formando proposições compostas. São eles:
e: conjunção (^)
ou: disjunção (v)
ou..., ou: disjunção exclusiva (v)
se..., então: condicional (→)
se, somente se: bi condicional (↔)

Lei do Direito Autoral nº 9.610, de 19 de Fevereiro de 1998: Proíbe a reprodução total ou parcial desse material ou divulgação com fins
comerciais ou não, em qualquer meio de comunicação, inclusive na Internet, sem autorização do Alfa Concursos Públicos Online.
I. TABELAS VERDADES
Serve para avaliar o valor lógico das proposições compostas.
Obs.: o número de linhas da tabela verdade depende da quantidade de proposições simples que existem na
proposição composta.
n
Nº de linhas da tabela = 2 ; onde n é o número de proposições simples que compõem a proposição composta (o
número de linha esta associado a todas as relações possíveis de V ou F das proposições simples que formam a
proposição composta).
Demonstração:

Observe que temos 3 proposições simples, logo uma tabela com 8 linhas, e que após o preenchimento dessas linhas
com V e F, temos todas as relações possíveis de V e F dessas 3 proposições.
 Dica: para uma melhor construção da tabela verdade, comece sempre pelas partes menores, seguindo pelas
partes intermediarias, ate chegar ao todo.
 Regras: resolva primeiro o que tiver dentro dos parênteses, colchetes e chaves, respectivamente. Caso não
tenha parênteses, colchetes ou chaves façam primeiro as negações, depois as conjunções e disjunções (na
ordem que aparecer primeiro), depois os condicionais e por ultimo o bi condicional.
Demonstração: a ^ b → ~b v ~a

Tabela da conjunção: e (^)

Obs.: uma proposição composta por conjunção só será verdadeira se todas as proposições simples que a
compõem forem verdadeiras, caso contrario será falsa.
Tabela da disjunção: ou (v)

Obs.: uma proposição composta por disjunção só será falsa se todas as proposições simples que a compõem
forem falsa, caso contrario será verdadeira.
Lei do Direito Autoral nº 9.610, de 19 de Fevereiro de 1998: Proíbe a reprodução total ou parcial desse material ou divulgação com fins
comerciais ou não, em qualquer meio de comunicação, inclusive na Internet, sem autorização do Alfa Concursos Públicos Online.
Tabela da disjunção exclusiva: ou..., ou (v)

Obs.: a proposição composta por disjunção exclusiva sempre será verdadeira quando os valores lógicos das
proposições simples que a compõem forem diferentes, caso contrario será falsa.
Tabela do bi condicional: se, somente se (↔)

Obs.: a proposição composta por bicondicional será verdadeira sempre que as proposições simples que a
compõem tiverem valores lógicos iguais, caso contrario será falsa.
Tabela do condicional: se..., então (→)

Importante: nessa situação do condicional, a primeira proposição (antecedente) é condição suficiente para a
segunda proposição (consequente), e o consequente é condição necessária para o antecedente.
Obs.: a proposição composta por condicional só será falsa se o antecedente (primeira proposição) for verdadeiro e o
consequente (segunda proposição) for falso, caso contrario será verdadeira.
Lembrem disso: p (antecedente) (condição suficiente) → q (consequente) (condição necessária)
Resolvendo a demonstração: a ^ b → ~b v ~a

Lei do Direito Autoral nº 9.610, de 19 de Fevereiro de 1998: Proíbe a reprodução total ou parcial desse material ou divulgação com fins
comerciais ou não, em qualquer meio de comunicação, inclusive na Internet, sem autorização do Alfa Concursos Públicos Online.
I. EQUIVALÊNCIA LÓGICA
Duas proposições compostas são logicamente equivalentes quando são formadas pelas mesmas proposições
simples e o resultado de suas tabelas verdades são idênticos.
Ex:
1. p ^ q = q ^ p

2. p v q = q v p

3. p v q = q v p

4. p↔q = q↔p

5. p→q = ~q→~p

6. p→q = ~p v q

Lei do Direito Autoral nº 9.610, de 19 de Fevereiro de 1998: Proíbe a reprodução total ou parcial desse material ou divulgação com fins
comerciais ou não, em qualquer meio de comunicação, inclusive na Internet, sem autorização do Alfa Concursos Públicos Online.
II. NEGAÇÃO DAS PROPOSIÇÕES COMPOSTAS
Outras formas de equivalência, porem como negações de proposições.
~ (p ^ q) = ~p v ~q: para negar a conjunção, nega-se as proposições simples e troca-se o conectivo e (^) por ou (v).

~ (p v q) = ~p ^ ~q: para negar a disjunção, nega-se as proposições simples e troca-se o conectivo ou (v) por e (^).

~ (p v q) = p↔q: para negar a disjunção exclusiva, basta transformar em um bicondicional.

~(p↔q) = p v q: para negar o bicondicional, basta transformar em uma disjunção exclusiva.

~ (p→q) = p ^ ~q: para negar o condicional, mantém o antecedente e nega-se o consequente.

Lei do Direito Autoral nº 9.610, de 19 de Fevereiro de 1998: Proíbe a reprodução total ou parcial desse material ou divulgação com fins
comerciais ou não, em qualquer meio de comunicação, inclusive na Internet, sem autorização do Alfa Concursos Públicos Online.
I. TAUTOLOGIA
É quando em uma tabela verdade o resultado final é sempre verdadeiro, ou seja, quando uma proposição
composta é sempre verdadeira, independente dos valores lógicos das proposições simples que a compõem, ai diz-se
que ocorre uma tautologia.
Ex: a → (a v b).

II. CONTRADIÇÃO
É quando em uma tabela verdade o resultado final é sempre negativo, ou seja, quando uma proposição composta
é sempre falsa, independente dos valores lógicos das proposições simples que a compõem, ai diz-se que ocorre uma
contradição.
Ex: (a ^ b) ^ (~a ^ ~b).

III. CONTINGÊNCIA
É quando em uma tabela verdade não ocorre uma tautologia e nem uma contradição, ou seja, quando a
proposição composta não é tautologia nem contradição, ai diz-se que ocorre então uma contingência.
Ex: p → (p ^ q).

IV. RELAÇÃO ENTRE TODO, ALGUM E NENHUM


 Relação de equivalência:
Todo A é B = Nenhum A não é B
Nenhum A é B = Todo A não é B
Ex:
Todo Alberto é Beto = Nenhum Alberto não é Beto
Nenhum Aluno é Burro = Todo Aluno não é Burro
 Relação de negação:
Todo A é B = Algum A não é B
Algum A é B = Nenhum A é B
Ex:
Todo estudante é esforçado = Algum estudante não é esforçado.
Algum aluno é preguiçoso = Nenhum aluno é preguiçoso.

Lei do Direito Autoral nº 9.610, de 19 de Fevereiro de 1998: Proíbe a reprodução total ou parcial desse material ou divulgação com fins
comerciais ou não, em qualquer meio de comunicação, inclusive na Internet, sem autorização do Alfa Concursos Públicos Online.
I. EXERCÍCIOS RELATIVOS AO ENCONTRO
1. Se Elaine não ensaia, Elisa não estuda. Logo:
a) Elaine ensaiar é condição necessária para Elisa não estudar.
b) Elaine ensaiar é condição suficiente para Elisa estudar.
c) Elaine não ensaiar é condição necessária para Elisa não estudar.
d) Elaine não ensaiar é condição suficiente para Elisa estudar.
e) Elaine ensaiar é condição necessária para Elisa estudar.
2. Uma sentença logicamente equivalente a “Se Ana é bela, então Carina é feia” é:
a) Se Ana não é bela, então Carina não é feia.
b) Ana é bela ou Carina não é feia.
c) Se Carina é feia, Ana é bela.
d) Ana é bela ou Carina é feia.
e) Se Carina não é feia, então Ana não é bela.
3. Um renomado economista afirma que “A inflação não baixa ou a taxa de juros aumenta”. Do ponto de vista
lógico, a afirmação do renomado economista equivale a dizer que:
a) se a inflação baixa, então a taxa de juros não aumenta.
b) se a taxa de juros aumenta então a inflação baixa.
c) se a inflação não baixa, então a taxa de juros aumenta.
d) se a inflação baixa, então a taxa de juros aumenta.
e) se a inflação não baixa, então a taxa de juros não aumenta.
4. Assinale a opção verdadeira:
a) 3 = 4 ou 3 + 4 = 9
b) Se 3 = 3, então 3 + 4 = 9
c) 3 = 4 e 3 + 4 = 9
d) Se 3 = 4, então 3 + 4 = 9
e) 3 = 3 se e somente se 3 + 4 = 9
5. A negação de "Ana ou Pedro vão ao cinema e Maria fica em casa" é:
a) Ana e Pedro não vão ao cinema ou Maria fica em casa.
b) Ana e Pedro não vão ao cinema ou Maria não fica em casa.
c) Ana ou Pedro vão ao cinema ou Maria não fica em casa.
d) Ana ou Pedro não vão ao cinema e Maria não fica em casa.
e) Ana e Pedro não vão ao cinema e Maria fica em casa.

Lei do Direito Autoral nº 9.610, de 19 de Fevereiro de 1998: Proíbe a reprodução total ou parcial desse material ou divulgação com fins
comerciais ou não, em qualquer meio de comunicação, inclusive na Internet, sem autorização do Alfa Concursos Públicos Online.
6. Qual das proposições abaixo tem a mesma tabela verdade que a proposição: “Se |a| < 3, então b ≤ 4 ”, onde a e
b são números reais?
a) b ≤ 4 e |a| < 3.
b) b > 4 ou |a| < 3.
c) b > 4 e |a| < 3.
d) b ≤ 4 ou |a| < 3.
e) b ≤ 4 ou |a| ≥ 3.
GABARITO
1-E
2-E
3-D
4-D
5-B
6-E

Lei do Direito Autoral nº 9.610, de 19 de Fevereiro de 1998: Proíbe a reprodução total ou parcial desse material ou divulgação com fins
comerciais ou não, em qualquer meio de comunicação, inclusive na Internet, sem autorização do Alfa Concursos Públicos Online.

Você também pode gostar