Material Lógica Matemática

Fazer download em pdf ou txt
Fazer download em pdf ou txt
Você está na página 1de 8

@profarilson

Arilson Nogueira Alcântara

Tabelas verdade – conectivos lógicos - Conjunção – “e” - ꓥ

Aplicação:
Proposição p – “8 é divisível por 2”.
Proposição q – “24 é um número par”.
A conjunção das duas proposições somente será verdadeira quando as duas proposições p e q forem
verdadeiras.

VꓥV- 8 é divisível por 2 e 24 é um número par. (Verdadeiro)

VꓥF- 8 é divisível por 2 e 24 não é um número par. (Falso)

FꓥV- 8 não é divisível por 2 e 24 é um número par. (Falso)

FꓥF- 8 não é divisível por 2 e 24 não é um número par. (Falso)

Disjunção – “ou” – v

P Q ¬p ¬q Resposta p v q
V V F F V
V F F V V
F V V F V
F F V V F

Aplicação:
Proposição p – “8 é divisível por 2”.
Proposição q – 24 é um número par.
A disjunção das duas proposições somente será falsa quando as duas proposições p e q forem
falsas.
VvV- 8 é divisível por 2 ou 24 é um número par. (Verdadeiro)

VvF- 8 é divisível por 2 ou 24 não é um número par. (Verdadeiro)

FvV- 8 não é divisível por 2 ou 24 é um número par. (Verdadeiro)

FvF- 8 não é divisível por 2 ou 24 não é um número par. (Falso)

Observando a resposta das duas tabelas verdades, observa-se facilmente que:

¬( p ꓥ q) = (¬p v ¬q).

Disjunção exclusiva - (Ou...ou...). Símbolo: v

P Q ¬p ¬q Resposta p v q ¬(p v q)
V V F F F V
V F F V V F
F V V F V F
F F V V F V

Aplicação:

Proposição p – “8 é divisível por 2”.

Proposição q – 24 é um número par.

A disjunção exclusiva das duas proposições somente será verdadeira quando uma das
duas proposições p e q forem verdadeiras exclusivamente. Caso as duas sejam
verdadeiras ao mesmo tempo, a tabela verdade terá resultado falso. Se as duas
proposições também forem falsas, a tabela verdade será falsa.

VvV- Ou 8 é divisível por 2 ou 24 é um número par. (Falso)

VvF- Ou 8 é divisível por 2 ou 24 não é um número par. (Verdadeiro)

FvV- Ou 8 não é divisível por 2 ou 24 é um número par. (Verdadeiro)

FvF- Ou 8 não é divisível por 2 ou 24 não é um número par. (Falso)

Equivalência - (Se e somente se). Símbolo: 


P Q ¬p ¬q Resposta p  q ¬(p  q)
V V F F V F
V F F V F V
F V V F F V
F F V V V F

Observemos que:

¬( p v q) = (p  q) e ( p v q) = ¬(p  q) .

Basta comparar as tabelas verdades.

Outra forma de obter a equivalência com a tabela verdade da negação da equivalência ¬(p v q)
é a seguinte: (p Λ ¬q) v (q Λ ¬p). Vejamos:

P Q Resposta p  q ¬(p  q) (p Λ ¬q) (q Λ ¬p) (p Λ ¬q) v (q Λ ¬p)

V V V F F F F

V F F V V F V

F V F V F V V

F F V F F F F

Tautologia – a tabela verdade sempre traz o valor Verdade. Exemplo: p v ¬p (p ou ¬p)

P ¬p p ou ¬p

V F V

F V V

Contradição – a tabela verdade sempre traz o valor Falso. Exemplo: p Λ ¬p (p e ¬p)

P ¬p p Λ ¬p

V F F

F V F

Veja se o seguinte exemplo representa uma tautologia ou uma contradição: ~(p ν q) Λ (p Λ q)


P q pvq ¬ (p v q) pꓥq ~(p ν q) Λ (p Λ q)

V V V F V F

V F V F F F

F V V F F F

F F F V F F

Portanto, ~(p ν q) Λ (p Λ q) representa uma contradição, porque todos os valores deram falsos.

Contingência – a tabela verdade traz os valores V e F.

P q pvq P q pΛq

V V V V V V

V F V V F F

F V V F V F

F F F F F F

01. Para construir a tabela da proposição ~(p ν ~q), um estudante montou o quadro abaixo.
Ao se preencher completamente e corretamente a tabela, o número de F encontrado na
última coluna é igual a:

a. 1. b. 3. c. 4. d. 0. e. 2

p Q ~q (p ν ~q) ~(p ν ~q)

V V F V F

V F V V F

F V F F V
F F V V F

02. Considere verdadeiras as afirmações a seguir:

Luiza possui um gato; Henrique gosta de observar patos; Rafael não tem bicicleta; Thiago
não gosta de comer macarrão.

A partir dessas afirmações é logicamente verdadeiro afirmar que:

a. Ou Luiza possui um gato ou Thiago não gosta de comer macarrão.

b. Se Henrique gosta de observar patos, então Luíza possui um gato e Thiago gosta de comer
macarrão.

c. Se Luiza possui um gato, então Rafael tem bicicleta.

d. Rafael tem bicicleta ou Henrique gosta de observar patos.

e. Thiago não gosta de comer macarrão e Henrique não gosta de observar patos.

a. b. c. d. e.

03. Maria é magra ou Bernardo é barrigudo. Se Lúcia é linda, então César não é careca. Se
Bernardo é barrigudo, então César é careca. Ora, Lúcia é linda, logo:

A. Maria é magra e Bernardo não é barrigudo.

B. Bernardo é barrigudo ou César é careca.

C. César é careca e Maria é magra.

D. Maria não é magra e Bernardo é barrigudo.

E. Lúcia é linda e César é careca.

a. b. c. d. e.

04. Ana é artista ou Carlos é carioca. Se Jorge é juiz, então Breno não é bonito. Se Carlos é
carioca, entâo Breno é bonito. Ora, Jorge é juiz, logo:

A. Jorge é juiz e Breno é bonito.

B. Carlos é carioca ou Breno é bonito.

C. Breno é bonito e Ana é artista.

D. Ana não é artista e Carlos é carioca.

E. Ana é artista e Carlos não é carioca.


05. Observe a seguinte tabela verdade em que P e Q são proposições simples.

P Q PQ

Verdadeiro ? Falso

O espaço “?” será preenchido corretamente com o seguinte valor lógico:

a. Verdadeiro.

b. Incerto.

c. tautológico.

d. Falso.

e. impossível de saber.

06. O inspetor de uma escola percebeu uma porta quebrada e identificou, pelas imagens do
sistema de segurança, que foi pelo menos um dentre quatro alunos, o responsável pelo
dano. Ele sabe que:

- Se Gustavo não teve participação, então Henrique teve;

- Entre Henrique e Igor, exatamente um teve participação;

- João teve participação, se e somente se, Igor teve participação.

Para não prejudicar seus amigos, João, falando a verdade, assumuiu ter participação, o que
permite concluir que todos os responsáveis pelos danos foram:

a. João, Gustavo e Henrique.

b. João e Gustavo.

c. João e Henrique.

d. João e Igor.

e. João, Gustavo e Igor.

07. Se P e Q são proposições falsas, então o valor lógico da proposição PQ é:

a. Verdadeiro.

b. Falso.

c. Verdadeiro e falso.

d. Nem verdadeiro, nem falso.

e. Impossível de saber.
08. Trata-se de um exemplo de contingência a proposição da alternativa:

a. P v ~P

b. PQ

c. PP

d. ~Q~Q

e. P ꓥ ~P

09. As proposições P1, P2, P3 e C que integram o argumento CBIA5-II são compostas por
diversas proposições simples, e o argumento CBIA5-II pode ser escrito, na forma simbólica,
como P1ꓥP2ꓥP3C. Dessa forma, na tabela verdade do argumento CBIA5-II a quantidade
mínima de linhas que precisam ser preenchidas, para se determinar a validade ou invalidade
do argumeto é igual a:

a. 4

b. 8.

C. 16.

D. 32.

E. 64.

10. Em uma ilha, ou os nativos pertencem à tribo dos mentirosos (sempre mentem) ou
pertencem à tribo dos honestos (que sempre falam a verdade). Caminhando pela ilha
encontrei cinco nativos, e soube por uma pessoa da tribo dos honestos que seus nomes
eram Akin, Babu, Garai, Kumi e Simba. Eles se apresentam da seguinte maneira:

Akin: Bem-vindo, Kumi e Simba são da minha tribo;

Babu: Bem-vindo, amanhã será feriado;

Garai, Bem-vindo, Akin é da minha tribo;

Kumi: Bem-vindo, não temos feriados nessa ilha;

Simba: Bem-vindo, Garai é mentiroso.

Entre esses cinco nativos, dois são mentirosos e seus nomes são:

a. Akin e Babu.

b. Akin e Kumi.

c. Babu e Garai.

d. Babu e Kumi.
e. Akine Simba.

11. Um grupo é formado por 5 garotos e sabe-se que suas idades podem ser 11 ou 12 ou 15
anos. Esses garotos sabem a própria idade e sabem as idades dos outros. Os garotos foram
questionados sobre a soma das suas idades (a soma das idades dos cinco garotos), e eles
responderam, respectivamente, 57 anos, 58 anos, 59 anos, 60 anos e 61 anos. Sabendo-se
que, quem tem 12 anos mentiu na resposta, e quem não tem 12 anos disse a verdade, a
soma das idades desses cinco garotos, em anos, é:

a. 61

b. 60

c. 59

d. 58.

e. 57

12. Alice, Beatriz, Célia e Dora apostaram uma corrida. Alice disse: Célia ganhou; Beatriz
chegou em 2º lugar. Beatriz disse: Célia chegou em 2 lugar e Dora em 3º. Célia disse: Dora foi
última, Alice a segunda. Cada uma das meninas disse uma verdade e uma mentira. Assim
podemos afirmar:

a. Célia chegou em último lugar e Dora em terceiro lugar

b. Dora foi a primeira colocada e Alice a última colocada

c. Beatriz chegou em primeiro lugar e Célia em segundo.

d. Célia foi a primeira colocada e Beatriz a última colocada

e. Dora chegou em terceiro lugar e Alice em último.

13. Quatro amigos apostaram uma corrida de bicicleta. Manoel disse: Pedro ganhou e Fábio
chegou em segundo lugar. Fábio disse: Pedro chegou em segundo lugar e Antônio em
terceiro lugar. Pedro disse: Antônio foi o último e Manoel o segundo. Sabendo-se que cada
um dos rapazes disse uma verdade e uma mentira, podemos afirmar que:

A. Pedro chegou em último lugar e Antônio em terceiro.

B. Pedro foi o primeiro colocado e Fábio o último colocado.

C. Antônio foi o primeiro colocado e Manoel o último colocado.

D. Fábio chegou em primeiro lugar e Pedro em segundo.

E. Antônio chegou em terceiro lugar e Manoel em último.

Você também pode gostar