n. 5 – Implicações Lógicas

A implicação lógica trata de um conjunto de afirmações,

proposições simples ou compostas, cujo encadeamento lógico

resultará em uma conclusão, a ser descoberta. Tal conclusão

deverá ser necessariamente verdadeira para o conjunto de

afirmações dadas.

Def.: Diz-se que uma proposição 𝑃 (𝑝, 𝑞, 𝑟, … ) implica

logicamente uma proposição 𝑄 (𝑝, 𝑞, 𝑟, … ), se 𝑄 (𝑝, 𝑞, 𝑟, … ) é

verdadeira todas as vezes que 𝑃 (𝑝, 𝑞, 𝑟, … ) é verdadeira.

𝑃 𝑄 𝑃 ⟹ 𝑄

V V V

V F F

F V V

F F V

Indicamos a implicação de proposições, com o símbolo ⟹.

→ é símbolo de operação lógica aplicada as proposições 𝑃 e 𝑄.

⟹ estabelece uma relação entre as proposições 𝑃 e 𝑄.

Uma proposição 𝑃 implica uma proposição 𝑄, se e

somente se 𝑃 ⟹ 𝑄 é tautológica.

Propriedades da implicação Lógica

Reflexiva (R):

𝑃 (𝑝, 𝑞, 𝑟, … ) → 𝑃 (𝑝, 𝑞, 𝑟, … )

Transitiva (T):

Se 𝑃 (𝑝, 𝑞, 𝑟, … ) → 𝑄 (𝑝, 𝑞, 𝑟, … ) e

𝑄 (𝑝, 𝑞, 𝑟, … ) → 𝑅 (𝑝, 𝑞, 𝑟, … ) então

𝑃 (𝑝, 𝑞, 𝑟, … ) → 𝑅 (𝑝, 𝑞, 𝑟, … )

Exemplos:

1. 𝑃 ˄ 𝑄 , 𝑃 ˅ 𝑄, 𝑃 ↔ 𝑄

𝑃 𝑄 𝑃 ˄ 𝑄 𝑃 ˅ 𝑄 𝑃 ↔ 𝑄

V V V V V

V F F V F

F V F V F

F F F F V

A proposição 𝑃 ˄ 𝑄 é verdadeira (V) somente na 1ª linha

e, nesta linha, as proposições 𝑃 ˅ 𝑄 e 𝑃 ↔ 𝑄 também são

verdadeiras. Logo, a primeira proposição implica cada uma das

outras duas proposições:

𝑃 ˄ 𝑄 → 𝑃 ˅ 𝑄

𝑃 ˄ 𝑄 → 𝑃 ↔ 𝑄

2. 𝑃 ↔ 𝑄 , 𝑃 → 𝑄, 𝑄 → 𝑃

𝑃 𝑄 𝑃 ↔ 𝑄 𝑃 → 𝑄 𝑄 → 𝑃

V V V V V

V F F F V

F V F V F

F F V V V

A proposição 𝑃 ↔ 𝑄 é verdadeira (V) nas linhas 1 e 4, e

nestas linhas, as proposições 𝑃 → 𝑄 e 𝑄 → 𝑃 também são

verdadeiras. Logo, a primeira proposição implica cada uma das

outras duas proposições.

𝑃 ↔ 𝑄 ⟹ 𝑃 → 𝑄

𝑃 ↔ 𝑄 ⟹ 𝑄 → 𝑃

Regras de inferência

Existem certas relações que permitem deduzir fatos a

partir de outros desde que estes satisfaçam formatos

específicos. Estas relações são conhecidas como regras de

inferência.

a. Lei de adição: 𝑃 ⟹ 𝑃 ˅ 𝑄 e 𝑄 ⟹ 𝑃 ˅ 𝑄

𝑃 𝑄 𝑃 ˅ 𝑄 𝑃 ⟹ 𝑃 ˅ 𝑄 𝑄 ⟹ 𝑃 ˅ 𝑄

V V V V V

V F V V V

F V V V V

F F F V V

b. Lei de simplificação: 𝑃 ˄ 𝑄 ⟹ 𝑃 e 𝑃 ˄ 𝑄 ⟹ 𝑄

𝑃 𝑄 𝑃 ˄ 𝑄 𝑃 ˄ 𝑄 ⟹ 𝑃 𝑃 ˄ 𝑄 ⟹ 𝑄

V V V V V

V F F V V

F V F V V

F F F V V

c. Regra do Silogismo disjuntivo: (𝑃 ˅ 𝑄) ˄ ~𝑃 ⟹ 𝑄

Silogismo é um modelo de raciocínio baseado na ideia da

dedução, composto por duas premissas que geram uma

conclusão.

Silogismo disjuntivo é uma forma de argumento onde uma

das premissas é a disjunção de duas afirmações e a outra é a

negação de uma dessas afirmações.

𝑃 𝑄 𝑃 ˅ 𝑄 ~𝑃 (𝑃 ˅ 𝑄) ˄ ~𝑃 (𝑃 ˅ 𝑄) ˄ ~𝑃 ⟹ 𝑄

V V V F F V

V F V F F V

F V V V V V

F F F V F V

A proposição (𝑃 ˅ 𝑄) ˄ ~𝑃 é verdadeira (V) somente na

3ª linha e, nesta linha, a proposição 𝑄 também é verdadeira.

Logo, vale a implicação lógica:

(𝑃 ˅ 𝑄) ˄ ~𝑃 ⟹ 𝑄

Exemplo:

“Pedro foi à escola na quarta-feira ou na sexta-feira e Pedro não esteve na escola na quarta-feira implicam logicamente Pedro esteve na escola na sexta-feira.” É definida como logicamente verdadeiro:

“Se Pedro foi à escola na quarta-feira ou na sexta-feira e Pedro não esteve na escola na quarta-feira, então Pedro esteve na escola na sexta-feira.”

A sentença pode ser formalizada como:

Se p ou q e Não é o caso que p, então q.

(𝑃 ˅ 𝑄) ˄ ~𝑃 ⟹ 𝑄

Por definição: “Pedro foi à escola na quarta-feira ou na sexta-feira” e “Pedro não esteve na escola na quarta-feira” implicam logicamente “Pedro esteve na escola na sexta-feira”.

Outra forma desta Regra de Inferência é:

(𝑃 ˅ 𝑄) ˄ ~𝑄 ⟹ 𝑃

𝑃 𝑄 𝑃 ˅ 𝑄 ~𝑄 (𝑃 ˅ 𝑄) ˄ ~𝑄 (𝑃 ˅ 𝑄) ˄ ~𝑄 ⟹ 𝑃 V V V F F V V F V V V V F V V F F V F F F V F V

d. Regra Modus ponens: (𝑃 → 𝑄) ˄ 𝑃 ⟹ 𝑄

Se uma declaração ou proposição implica uma segunda, e

a primeira declaração ou proposição é verdadeira, então a

segunda também é verdadeira.

Se P implica Q e P é verdadeira, então Q é verdadeira.

Tautologia também denominada: “modus ponendo ponnes”, que

significa “o modo pelo qual, afirmando, se afirma”.

𝑃 𝑄 𝑃 → 𝑄 (𝑃 → 𝑄) ˄ 𝑃 (𝑃 → 𝑄) ˄ 𝑃 ⟹ 𝑄 V V V V V V F F F V F V V F V F F V F V

A proposição (𝑃 → 𝑄) ˄ 𝑃 é verdadeira (V) somente na

linha 1, e nesta linha, a proposição 𝑄 também é verdadeira.

Logo, vale a implicação lógica:

(𝑃 → 𝑄) ˄ 𝑃 ⟹ 𝑄

𝑃 → 𝑄 , 𝑃

∴ 𝑄

e. Regra Modus tollens: (𝑃 → 𝑄) ˄ ~𝑄 ⟹ ~𝑃

Regra Modus tollens: é a negação do consequente, é o

nome formal para a prova indireta.

Tautologia também denominada: “modus tollendo

tollens”, que significa “o modo pelo qual, negando-se, nega-se”.

A Regra Modus tollens pode ser vista como uma aplicação da Regra Modus ponens por contraposição.

A contraposição diz-nos que:

𝑃 → 𝑄 é equivalente a ~𝑄 → ~𝑃

Então a Regra Modus ponens permite inferir:

~𝑄 →~𝑃 , ~𝑄

~𝑃

Esta regra está assim ligada a demonstrações por contraposição, ou ainda a demonstrações por contradição/redução ao absurdo.

𝑃 𝑄 𝑃 → 𝑄 ~𝑄 (𝑃 → 𝑄) ˄ ~𝑄 ~𝑃 (𝑃 → 𝑄) ˄ ~𝑄 ⟹ ~𝑃 V V V F F F V V F F V F F V F V V F F V V F F V V V V V

A proposição (𝑃 → 𝑄) ˄ ~𝑄 é verdadeira (V) somente

na linha 4, e nesta linha, a proposição ~𝑃 também é verdadeira.

Logo, vale a implicação lógica:

(𝑃 → 𝑄) ˄ ~𝑄 ⟹ ~𝑃

Tabela-verdade na Lógica Binária

Na tabela-verdade da implicação na lógica binária, em que

1 = Verdade e 0 = Falso temos:

Afirmar (𝑃 → 𝑄) significa que é verdade, ou seja:

(𝑃 → 𝑄) = 1

Por outro lado, afirmar ~𝑄 significa que 𝑄 é falso, ou seja:

𝑄 = 0

Assim: (𝑃 → 𝑄) ˄ ~𝑄

Corresponde a:

1 ˄ 1

Na tabela-verdade da implicação:

𝑃 𝑄 𝑃 → 𝑄 ~𝑄 (𝑃 → 𝑄) ˄ ~𝑄 1 1 1 0 0 1 0 0 1 0 0 1 1 0 0 0 0 1 1 1

Com a afirmação da proposição: (𝑃 → 𝑄)

E, a afirmação da proposição: ~𝑄

A única linha que temos: 1 ˄ 1

É a linha em que: 𝑃 = 0 e 𝑄 = 0

Métodos de resolução:

a. Quando houver, nas premissas do enunciado da questão,

uma proposição simples ou uma conjunção.

b. Quando não houver, entre as premissas do enunciado da

questão, uma proposição simples ou uma conjunção.

Para o caso (a) em que nas premissas do enunciado da

questão HÁ uma proposição simples ou uma conjunção usamos

o método do Argumento:

1º considerar as premissas verdadeiras e, por meio das

tabelas-verdade dos conectivos, descobrir os valores lógicos

das proposições simples presentes nas premissas.

2º substituir os valores lógicos das proposições simples,

encontradas no primeiro passo, em cada uma das opções de

resposta. Assim, aquela que for necessariamente verdadeira

é a opção correta da questão.

Exemplo:

1. (CARVALHO; CAMPOS, 2010, p. 218) André é inocente ou

Beto é inocente. Se Beto é inocente, então Caio é culpado.

Caio é inocente se e somente se Dênis é culpado. Ora, Dênis é

culpado. Logo:

a) Caio e Beto são inocentes.

b) André e Caio são inocentes.

c) André e Beto são inocentes.

d) Caio e Dênis são culpados.

e) André e Dênis são culpados.

Resolução:

Proposições simples:

A = André é inocente

B = Beto é inocente

C = Caio é inocente

D = Dênis é inocente

Tradução para a forma simbólica:

André é inocente ou Beto é inocente: 𝐴 ˅ 𝐵

Se Beto é inocente, então Caio é culpado: 𝐵 → ~𝐶

Caio é inocente se e somente se Dênis é culpado: 𝐶 ↔ ~𝐷

Ora, Dênis é culpado: ~𝐷

Premissas:

𝑃1: 𝐴 ˅ 𝐵

𝑃2: 𝐵 → ~𝐶

𝑃3: 𝐶 ↔ ~𝐷

𝑃4: ~𝐷

1º passo: considerar as premissas verdadeiras e, por meio das tabelas-verdade dos conectivos, descobrir os valores lógicos das proposições simples presentes nas premissas.

Em 𝑃4, ~𝐷 é uma proposição simples, logo se ~𝐷 é 𝑉, então

𝐷 = 𝐹.

Assim, substituindo ~𝐷 = 𝑉 em 𝑃4 e em 𝑃3:

𝑃1: 𝐴 ˅ 𝐵

𝑃2: 𝐵 → ~𝐶

𝑃3: 𝐶 ↔ 𝑉

𝑃4: 𝑉

Em 𝑃3, uma proposição que implica se e somente se outra

proposição que é verdadeira, só pode ser verdadeira. Logo,

𝐶 = 𝑉.

Substituindo 𝐶 = 𝑉 em 𝑃3 e ~C = F em 𝑃2:

𝑃1: 𝐴 ˅ 𝐵

𝑃2: 𝐵 → 𝐹

𝑃3: 𝑉 ↔ 𝑉

𝑃4: 𝑉

Em 𝑃2, uma proposição que implica outra proposição que é

falsa, só pode ser verdadeira se ela for falsa. Logo, 𝐵 = 𝐹.

Substituindo 𝐵 = 𝐹 em 𝑃2 e em 𝑃1:

𝑃1: 𝐴 ˅ 𝐹

𝑃2: 𝐹 → 𝐹

𝑃3: 𝑉 ↔ 𝑉

𝑃4: 𝑉

Em 𝑃1, para que uma disjunção seja verdadeira, podemos

ter: 𝑉𝑉, 𝑉𝐹, 𝐹𝑉 e neste caso como já temos que 𝐵 = 𝐹, então

𝐴 = 𝑉 .

Substituindo 𝐴 = 𝑉 em 𝑃1:

𝑃1: 𝑉 ˅ 𝐹

𝑃2: 𝐹 → 𝐹

𝑃3: 𝑉 ↔ 𝑉

𝑃4: 𝑉

Assim: 𝐴 = 𝑉, 𝐵 = 𝐹, 𝐶 = 𝑉, 𝐷 = 𝐹

Logo,

A = André é inocente

B = Beto é culpado

C = Caio é inocente

D = Dênis é culpado

2º passo: substituir os valores lógicos das proposições simples, encontradas no primeiro passo, em cada uma das opções de resposta. Assim, aquela que for necessariamente verdadeira é a opção correta da questão.

Retornando ao exercício:

a) Caio e Beto são inocentes.

b) André e Caio são inocentes.

c) André e Beto são inocentes.

d) Caio e Dênis são culpados.

e) André e Dênis são culpados.

Outra forma de resolução:

𝐴 𝐵 𝐶 𝐷 ~𝐶 ~𝐷 𝐴 ˅ 𝐵 𝐵 → ~𝐶 𝐶 ↔ ~𝐷 ~𝐷

V V V V F F V F F F V V V F F V V F V V V V F V V F V V V F V V F F V V V V F V V F V V F F V V F F V F V F F V V V V V V F F V V F V V V F V F F F V V V V F V F V V V F F V F F F F V V F F V V F V V F V F V V F V V V F F V F F V V V V F V F F V V F F F V F F F F V F F V F V V V F F F V V F F V V F F F F F V V F V F V

Interessam-nos os casos em que ~𝐷 = 𝑉, e nesses casos, aqueles

em que as premissas são todas verdadeiras.

Para o caso (b) em que nas premissas do enunciado da questão NÃO HÁ nenhuma proposição simples ou uma conjunção:

Exemplo:

1. (CARVALHO; CAMPOS, 2010, p. 259) Se não durmo, bebo. Se

estou furioso, durmo. Se durmo, não estou furioso. Se não

estou furioso, não bebo. Logo:

a) Não durmo, estou furioso e não bebo.

b) Durmo, estou furioso e não bebo.

c) Não durmo, estou furioso e bebo.

d) Durmo, não estou furioso e não bebo.

e) Não durmo, não estou furioso e bebo.

Resolução:

Proposições simples:

D = Durmo

B = Bebo

F = Estou Furioso

Tradução para a forma simbólica:

Se não durmo, bebo: ~𝐷 → 𝐵

Se estou furioso, durmo: 𝐹 → 𝐷

Se durmo, não estou furioso: 𝐷 → ~𝐹

Se não estou furioso, não bebo: ~𝐹 → ~𝐵

𝐷 𝐵 𝐹 ~𝐷 ~𝐵 ~𝐹 ~𝐷 → 𝐵 𝐹 → 𝐷 𝐷 → ~𝐹 ~𝐹 → ~𝐵 V V V F F F V V F V V V F F F V V V V F V F V F V F V V F V V F F F V V V V V V F V V V F F V F V V F V F V F V V V V F F F V V V F F F V V F F F V V V F V V V

Exercícios:

1. (CARVALHO; CAMPOS, 2010, p. 220) Se Carina é amiga de

Carol, então Carmem é cunhada de Carol. Carmem não é

cunhada de Carol. Se Carina não é cunhada de Carol, então

Carina é amiga de Carol. Logo,

a. Carina é cunhada de Carmem e é amiga de Carol.

b. Carina não é amiga de Carol ou não é cunhada de Carmem.

c. Carina é amiga de Carol ou não é cunhada de Carol.

d. Carina é amiga de Carmem e é amiga de Carol.

e. Carina é amiga de Carol e não é cunhada de Carmem.

2. (CARVALHO; CAMPOS, 2010, p. 222) Se a professora de

Matemática foi à reunião, nem a professora de Inglês nem a

professora de Francês deram aula. Se a professora de Francês

não deu aula, a professora de Português foi à reunião. Se a

professora de Português foi à reunião, todos os problemas

foram resolvidos. Ora, pelo menos um problema não foi

resolvido. Logo,

a. A professora de Matemática não foi à reunião e a professora

de Francês não deu aula.

b. A professora de Matemática e a professora de Português não

foram à reunião.

c. A professora de Francês não deu aula e a professora de

Português não foi à reunião.

d. A professora de Francês não deu aula ou a professora de

Português foi à reunião.

e. A professora de Inglês e a professora de Francês não deram

aula.

3. (CARVALHO; CAMPOS, 2010, p. 262) Se Fulano é culpado,

então Beltrano é culpado. Se Fulano é inocente, então ou

Beltrano é culpado, ou Sicrano é culpado, ou ambos, Beltrano

e Sicrano, são culpados. Se Sicrano é inocente, então Beltrano

é inocente. Se Sicrano é culpado, então Fulano é culpado.

Logo,

a. Fulano é inocente, Beltrano é inocente, Sicrano é inocente.

b. Fulano é culpado, Beltrano é culpado, Sicrano é inocente.

c. Fulano é culpado, Beltrano é inocente, Sicrano é inocente.

d. Fulano é inocente, Beltrano é culpado, Sicrano é culpado.

e. Fulano é culpado, Beltrano é culpado, Sicrano é culpado.

4. Mostre que:

a. (𝑃 → 𝑄) → (~𝑃 ↔ ~𝑄) não é implicação.

b. ( 𝑥 ≠ 0 → 𝑥 = 𝑦 ) ˄ 𝑥 ≠ 𝑦 ⟹ 𝑥 = 0

Resoluções:

1. (CARVALHO; CAMPOS, 2010, p. 220) Se Carina é amiga de

Carol, então Carmem é cunhada de Carol. Carmem não é

cunhada de Carol. Se Carina não é cunhada de Carol, então

Carina é amiga de Carol. Logo,

a. Carina é cunhada de Carmem e é amiga de Carol.

b. Carina não é amiga de Carol ou não é cunhada de Carmem.

c. Carina é amiga de Carol ou não é cunhada de Carol.

d. Carina é amiga de Carmem e é amiga de Carol.

e. Carina é amiga de Carol e não é cunhada de Carmem.

Proposições:

I = Carina é amiga de Carol

E = Carmem é cunhada de Carol

O = Carina é cunhada de Carol

Tradução para a forma simbólica:

Se Carina é amiga de Carol, então Carmem é cunhada de Carol:

𝐼 → 𝐸

Carmem não é cunhada de Carol.

~𝐸

Se Carina não é cunhada de Carol, então Carina é amiga de

Carol.

~𝑂 → 𝐼

Premissas:

𝑃1: 𝐼 → 𝐸

𝑃2: ~𝐸

𝑃3: ~𝑂 → 𝐼

𝐼 𝐸 𝑂 ~𝐸 ~𝑂 𝐼 → 𝐸 ~𝑂 → 𝐼 V V V F F V V V V F F V V V V F V V F F V V F F V V F V F V V F F V V F V F F V V F F F V V F V V F F F V V V F

Portanto,

I = Carina é amiga de Carol é falso, Carina não é amiga de Carol.

E = Carmem é cunhada de Carol é falso, Carmem não é cunhada

de Carol.

O = Carina é cunhada de Carol é verdadeiro.

(b) = V: Carina não é amiga de Carol (V) ou não é cunhada de

Carmem (V).

2. (CARVALHO; CAMPOS, 2010, p. 222) Se a professora de

Matemática foi à reunião, nem a professora de Inglês nem a

professora de Francês deram aula. Se a professora de Francês

não deu aula, a professora de Português foi à reunião. Se a

professora de Português foi à reunião, todos os problemas

foram resolvidos. Ora, pelo menos um problema não foi

resolvido. Logo,

a. A professora de Matemática não foi à reunião e a professora

de Francês não deu aula.

b. A professora de Matemática e a professora de Português não

foram à reunião.

c. A professora de Francês não deu aula e a professora de

Português não foi à reunião.

d. A professora de Francês não deu aula ou a professora de

Português foi à reunião.

e. A professora de Inglês e a professora de Francês não deram

aula.

Proposições:

M = a professora de Matemática foi à reunião

P = a professora de Português foi à reunião

R = a professora de Francês deu aula

I = a professora de Inglês deu aula

T = todos os problemas foram resolvidos

Tradução para a forma simbólica:

Se a professora de Matemática foi à reunião, nem a professora

de Inglês nem a professora de Francês deram aula.

𝑀 → (~𝐼 ˄ ~𝑅)

Se a professora de Francês não deu aula, a professora de

Português foi à reunião.

~𝑅 → 𝑃 Se a professora de Português foi à reunião, todos os

problemas foram resolvidos.

𝑃 → 𝑇 Ora, pelo menos um problema não foi resolvido

~𝑇

25 = 32 𝑙𝑖𝑛ℎ𝑎𝑠 ... Portanto não é viável construir a tabela-verdade.

𝑀 𝑃 𝑅 𝐼 𝑇 ~𝐼 ~𝑇 ~𝑅 ~𝐼 ˄ ~𝑅 𝑀 → (~𝐼 ˄ ~𝑅) ~𝑅 → 𝑃 𝑃 → 𝑇

Premissas:

𝑃1: 𝑀 → (~𝐼 ˄ ~𝑅)

𝑃2: ~𝑅 → 𝑃 𝑃3: 𝑃 → 𝑇 𝑃4: ~𝑇

Se é uma implicação lógica, então ~𝑇 = 𝑉 ∴ 𝑇 = 𝐹 Se 𝑇 = 𝐹 então numa implicação: 𝑃 → 𝐹 = 𝑉, somente se

𝑃 = 𝐹 Se 𝑃 = 𝐹 então numa implicação: ~𝑅 → 𝐹 = 𝑉, somente

se ~𝑅 = 𝐹 ∴ 𝑅 = 𝑉 Como 𝑅 = 𝑉 substituindo em (~𝐼 ˄ ~𝑅) temos:

(~𝐼 ˄ 𝐹)

Como (~𝐼 ˄ 𝐹) só é verdadeiro se VV, então ~𝐼 = 𝐹

Como é uma implicação, então: 𝑀 → (~𝐼 ˄ ~𝑅) = 𝑉 Como ~𝐼 = 𝐹 e ~𝑅 = 𝐹 ∴ (~𝐼 ˄ ~𝑅) = 𝐹

Portanto, 𝑀 → 𝐹 = 𝑉 se e somente se 𝑀 = 𝐹.

Voltando as Proposições: M = a professora de Matemática foi à reunião é falso. Logo: ~𝑀

P = a professora de Português foi à reunião é falso. Logo: ~𝑃

R = a professora de Francês deu aula é verdadeiro. Logo: 𝑅

I = a professora de Inglês deu aula. Logo: ? 𝑖𝑛𝑑𝑒𝑡𝑒𝑟𝑚𝑖𝑛𝑎𝑑𝑜

T = todos os problemas foram resolvidos é falso. Logo: ~𝑇

3. (CARVALHO; CAMPOS, 2010, p. 262) Se Fulano é culpado,

então Beltrano é culpado. Se Fulano é inocente, então ou

Beltrano é culpado, ou Sicrano é culpado, ou ambos, Beltrano

e Sicrano, são culpados. Se Sicrano é inocente, então Beltrano

é inocente. Se Sicrano é culpado, então Fulano é culpado.

Logo,

a. Fulano é inocente, Beltrano é inocente, Sicrano é inocente.

b. Fulano é culpado, Beltrano é culpado, Sicrano é inocente.

c. Fulano é culpado, Beltrano é inocente, Sicrano é inocente.

d. Fulano é inocente, Beltrano é culpado, Sicrano é culpado.

e. Fulano é culpado, Beltrano é culpado, Sicrano é culpado.

Proposições:

U = Fulano é inocente

B = Beltrano é inocente

S = Sicrano é inocente

Tradução para a forma simbólica:

Se Fulano é culpado, então Beltrano é culpado.

~𝑈 → ~𝐵

Se Fulano é inocente, então ou Beltrano é culpado, ou Sicrano

é culpado, ou ambos, Beltrano e Sicrano, são culpados.

𝑈 → (~𝐵 ˅ ~𝑆) ˅ (~𝐵 ˄ ~𝑆)

Se Sicrano é inocente, então Beltrano é inocente.

𝑆 → 𝐵

Se Sicrano é culpado, então Fulano é culpado.

~𝑆 → ~𝑈

Premissas:

𝑃1: ~𝑈 → ~𝐵

𝑃2: 𝑈 → (~𝐵 ˅ ~𝑆) ˅ (~𝐵 ˄ ~𝑆)

𝑃3: 𝑆 → 𝐵

𝑃4: ~𝑆 → ~𝑈

𝑈 𝐵 𝑆 ~𝑈 ~𝐵 ~𝑆 ~𝐵 ˅ ~𝑆 ~𝐵 ˄ ~𝑆 (~𝐵 ˅ ~𝑆) ˅ (~𝐵 ˄ ~𝑆) 𝑈 → (~𝐵 ˅ ~𝑆) ˅ (~𝐵 ˄ ~𝑆) ~𝑆 → ~𝑈 𝑆 → 𝐵 ~𝑈 → ~𝐵 V V V F F F F F F F V V V V V F F F V V F V V F V V V F V F V F V F V V V F V V F F F V V V V V V F V V F V V V F F F F F V V V F F V F V F V V F V V V V F F F V V V F V F V V V F V F F F V V V V V V V V V V

Fulano é culpado, Beltrano é culpado, Sicrano é culpado.

4. Mostre que:

a. (𝑃 → 𝑄) → (~𝑃 ↔ ~𝑄) não é implicação.

𝑃 𝑄 ~𝑃 ~𝑄 𝑃 → 𝑄 ~𝑃 ↔ ~𝑄 (𝑃 → 𝑄) → (~𝑃 ↔ ~𝑄) V V F F V V V V F F V F F V F V V F V F F F F V V V V V

Não é implicação lógica porque na tabela-verdade, na

última coluna, a condicional não é uma tautologia.

b. ( 𝑥 ≠ 0 → 𝑥 = 𝑦 ) ˄ 𝑥 ≠ 𝑦 ⟹ 𝑥 = 0

𝑥 = 0 𝑥 = 𝑦 𝑥 ≠ 0 𝑥 ≠ 𝑦 𝑥 ≠ 0 → 𝑥 = 𝑦 ( 𝑥 ≠ 0 → 𝑥 = 𝑦 ) ˄ 𝑥 ≠ 𝑦 ( 𝑥 ≠ 0 → 𝑥 = 𝑦 ) ˄ 𝑥 ≠ 𝑦 ⟹ 𝑥 = 0 V V F F V F V V F F V V V V F V V F V F V

F F V V F F V

É implicação lógica porque na tabela-verdade, na última

coluna, a condicional é uma tautologia.

Referências Bibliográficas

ALENCAR FILHO, Edgard. Iniciação à Lógica Matemática. São Paulo, Nobel, 2002. BISPO, Carlos Alberto F.; CASTANHEIRA, Luiz B.; FILHO, Oswaldo Melo S. Introdução à Lógica Matemática. São Paulo: Cengage Learning, 2011. CARVALHO, Sérgio; CAMPOS, Weber. Raciocínio Lógico Simplificado. V. 1. Rio de Janeiro: Elsevier. 2010 CASTRUCCI, Benedito. Introdução à Lógica Matemática. 6 ed. São Paulo: Nobel, 1984. DIAS, Carlos Magno Corrêa. Lógica matemática: introdução ao cálculo proposicional. 3 ed. Curitiba: C. M. C. Dias, 2011. GERÔNIMO, João Roberto; FRANCO, Valdeni Soliani. Fundamentos da Matemática: uma introdução à lógica matemática, teoria dos conjuntos, relações e funções. 2 ed. Maringá: Eduem, 2008. MORTARI, Cezar A. Introdução à Lógica. São Paulo: Editora UNESP: Imprensa Oficial do Estado, 2001.