Lógica

Sentencial:
principais
problemas

Renata de
Freitas e
Petrucio
Viana

Um texto
tı́pico
Lógica Sentencial: principais problemas
Sentenças
válidas

Sentenças Renata de Freitas e Petrucio Viana

equivalentes

Argumentos
válidos

Principais
problemas IME, UFF
Exercı́cios 4 de novembro de 2013
 Lógica
Sentencial:
principais
problemas
Sumário
Renata de
Freitas e
Petrucio
Viana
• Um texto tı́pico
Um texto
tı́pico

Sentenças
válidas • Sentenças válidas
Sentenças
equivalentes

Argumentos
válidos • Sentenças equivalentes
Principais
problemas

Exercı́cios
• Argumentos válidos

• Principais problemas e ferramentas

 Lógica
Sentencial:
principais
problemas
Um texto tı́pico
Renata de
Freitas e
Petrucio Considere o seguinte texto, tı́pico da aritmética dos números
Viana
naturais.
Um texto
tı́pico

Sentenças
válidas

Sentenças
equivalentes Teorema: Todo número inteiro positivo maior que 1 tem um
Argumentos fator primo.
válidos

Principais
problemas Prova: Seja n um inteiro positivo maior que 1.
Exercı́cios

Sabemos que n é primo ou n não é primo.

Se n é primo, n é um fator de n ou 1 · n 6= n.
Neste caso, o teorema está provado.
 Lógica
Sentencial:
principais
problemas

Renata de Se n não é primo, n é composto.

Freitas e
Petrucio
Viana

Um texto
tı́pico Assim,
Sentenças n = n1 · n2
válidas

Sentenças onde n1 e n2 são inteiros positivos, ambos menores que n.

equivalentes

Argumentos
válidos

Principais
problemas Se n1 é primo, o teorema está provado.
Exercı́cios Se não,
n1 = n3 · n4
onde n3 e n4 são inteiros positivos, ambos menores que n1 .
 Lógica
Sentencial:
principais
problemas

Renata de
Freitas e
Novamente, se n3 é primo, o teorema está provado.
Petrucio
Viana
Se não,
n3 = n5 · n6
Um texto
tı́pico
onde n5 e n6 são inteiros positivos, ambos menores que n3 .
Sentenças
válidas

Sentenças
equivalentes

Argumentos
válidos
Generalizando o procedimento acima teremos, depois de alguns
Principais passos:
problemas
n2k−1 = n2k+1 · n2k+2
Exercı́cios
onde n2k+1 e n2k+2 são inteiros positivos, ambos menores que
n2k−1 .
 Lógica
Sentencial:
principais
problemas

Renata de
Freitas e
Como, para qualquer valor de k:
Petrucio
Viana
n > n1 > n3 > · · · > n2k−1 > 0
Um texto
tı́pico
e
Sentenças
válidas n = n2k+1 · n2k+2 · n2k · n2k−2 · · · · · n6 · n4 · n2
Sentenças
equivalentes este procedimento termina.
Argumentos
válidos

Principais
problemas

Exercı́cios Quando isto acontece, n2k+1 é primo e, como ele é um fator de

n, o teorema está provado.
 Lógica
Sentencial:
principais
problemas
Propriedades das provas
Renata de
Freitas e
Petrucio
Viana
Um teorema é uma afirmação verdadeira, que queremos
justificar.
Um texto
tı́pico

Sentenças
válidas Uma prova de um teorema é uma justificativa para que
Sentenças aceitemos a veracidade do teorema.
equivalentes

Argumentos
válidos
Provas possuem vários aspectos importantes.
Principais
problemas Do ponto da vista da lógica, os seguintes são os mais
Exercı́cios aparentes:
– uso de sentenças válidas,
– uso de sentenças equivalentes,
– uso de argumentos válidos.
 Lógica
Sentencial:
principais
problemas

Renata de
Freitas e
Petrucio
Viana Um exame destas 3 caracterı́sticas do raciocı́nio nos leva a
Um texto formulação de alguns problemas básicos.
tı́pico

Sentenças
válidas

Sentenças
equivalentes

Argumentos
válidos
Estes problemas, por sua vez, nos levam a introdução de
Principais
problemas conceitos e técnicas que possibilitam a aplicação da sintaxe e
Exercı́cios da semântica de LS.
 Lógica
Sentencial:
principais
problemas
Sentenças válidas
Renata de
Freitas e
Petrucio
Viana
“Seja n um inteiro positivo maior que 1.
Um texto
tı́pico
Sabemos que n é primo ou n não é primo.”
Sentenças
válidas

Sentenças
equivalentes Neste contexto, a sentença
Argumentos
válidos
n é primo ou n não é primo
Principais
problemas

Exercı́cios
é V .

Ela oferece “alternativas complementares”.

 Lógica
Sentencial:
principais
problemas
Sentenças válidas
Renata de
Freitas e
Petrucio
Viana

Um texto
Por isto, ela é V em qualquer contexto.
tı́pico

Sentenças
válidas

Sentenças
equivalentes Como podemos ver que isto, de fato, acontece?
Argumentos
válidos

Principais
problemas

Exercı́cios Bem, se estamos “lendo” os conectivos como os conectivos de

LS, podemos aplicar as fórmulas e as tabelas das fórmulas para
resolver este problema.
 Lógica
Sentencial:
principais
problemas
Sentenças válidas
Renata de
Freitas e
Petrucio
Viana
Considere a legenda:
Um texto
tı́pico
p : n é primo
Sentenças
válidas

Sentenças
equivalentes

Argumentos
válidos De acordo com a legenda, a sentença
Principais
problemas
n é primo ou n não é primo
Exercı́cios

é representada por:
(p ∨ (¬p))
 Lógica
Sentencial:
principais
problemas
Sentenças válidas
Renata de
Freitas e
Petrucio
Viana

Um texto A tabela desta fórmula é:

tı́pico

Sentenças p (¬p) (p ∨ (¬p))

válidas

Sentenças
equivalentes V F V
Argumentos
válidos
F V V
Principais
problemas

Exercı́cios

A fórmula é V em todas as suas interpretações.

 Lógica
Sentencial:
principais
problemas
Em resumo
Renata de
Freitas e
Petrucio
Viana 1. Existem sentenças verdadeiras que possuem um tipo
Um texto
especial de verdade (que chamaremos de sentenças
tı́pico válidas).
Sentenças
válidas

Sentenças
equivalentes
2. Sentenças válidas são frequentemente utilizadas, quando
Argumentos raciocinamos.
válidos

Principais
problemas
3. Uma sentença é válida quando é V em todas as suas
Exercı́cios
interpretações.

4. Usando as fórmulas e as tabelas de LS podemos

reconhecer quando uma sentença é válida.
 Lógica
Sentencial:
principais
problemas
Sentenças equivalentes
Renata de
Freitas e
Petrucio
Viana
“Se n é primo, então n é um fator de n ou 1 · n 6= n.”
Um texto
tı́pico

Sentenças
válidas Ela oferece uma “condição” que assumimos ser verdadeira
Sentenças e duas “alternativas” das quais uma é falsa. Assim, o que
equivalentes
resta é a outra alternativa.
Argumentos
válidos

Principais
problemas
Para entender o que esta sentença quer dizer, observe que ela
Exercı́cios
tem o mesmo significado que a sentença

Se n é primo, então (se 1 · n = n, então n é um fator de n).

 Lógica
Sentencial:
principais
problemas
Sentenças equivalentes
Renata de
Freitas e
Petrucio
Viana

Um texto
tı́pico Como podemos ver que duas sentenças, de fato, têm o mesmo
Sentenças significado?
válidas

Sentenças
equivalentes

Argumentos
válidos

Principais
problemas
Bem, se estamos “lendo” os conectivos como os conectivos de
Exercı́cios LS, podemos aplicar as fórmulas e as tabelas das fórmulas para
resolver este problema.
 Lógica
Sentencial:
principais
problemas
Sentenças equivalentes
Renata de
Freitas e Considere a legenda:
Petrucio
Viana
p : n é primo
Um texto
tı́pico q : n é um fator de n
Sentenças r : 1·n =n
válidas

Sentenças
equivalentes De acordo com a legenda, as sentenças
Argumentos
válidos
ϕ : se n é primo, então n é um fator de n ou 1 · n 6= n
Principais
problemas ψ : se n é primo, então (se 1 · n = n, então n é um
Exercı́cios fator de n)
podem ser representadas, respectivamente, como:

ϕ : (p → (q ∨ (¬r )))
ψ : (p → (r → q))
 Lógica
Sentencial:
principais
problemas
Sentenças equivalentes
Renata de
Freitas e
Petrucio
Viana A tabela de ϕ é:
Um texto
tı́pico p q r (¬r ) (q ∨ (¬r )) (p → (q ∨ (¬r )))
Sentenças
válidas

Sentenças
V V V F V V
equivalentes V V F V V V
Argumentos
válidos
V F V F F F
Principais V F F V V V
problemas
F V V F V V
Exercı́cios
F V F V V V
F F V F F V
F F F V V V
 Lógica
Sentencial:
principais
problemas
Sentenças equivalentes
Renata de
Freitas e
Petrucio
Viana A tabela de ψ é:
Um texto
tı́pico p q r r → q (p → (r → q))
Sentenças
válidas

Sentenças
V V V V V
equivalentes V V F V V
Argumentos
válidos
V F V F F
Principais V F F V V
problemas
F V V V V
Exercı́cios
F V F V V
F F V F V
F F F V V
 Lógica
Sentencial:
principais
problemas
Sentenças equivalentes
Renata de
Freitas e
Petrucio
Comparando T [ϕ] com T [ψ], temos:
Viana

p q r (p → (q ∨ (¬r ))) (p → (r → q))

Um texto
tı́pico

Sentenças
válidas
V V V V V
Sentenças
V V F V V
equivalentes V F V F F
Argumentos
válidos
V F F V V
Principais F V V V V
problemas
F V F V V
Exercı́cios
F F V V V
F F F V V

As fórmulas possuem os mesmos valores nas mesmas

interpretações.
 Lógica
Sentencial:
principais
problemas
Em resumo
Renata de
Freitas e
Petrucio
Viana 1. Sentenças diferentes podem ter o mesmo significado
Um texto (neste caso, diremos que as sentenças são equivalentes).
tı́pico

Sentenças
válidas

Sentenças
2. Reescrever uma sentença como uma sentença equivalente
equivalentes pode clarificar a informação que ela contém.
Argumentos
válidos

Principais
problemas 3 . Duas sentenças são equivalentes quando possuem os
Exercı́cios mesmos valores nas mesmas interpretações.

4. Usando as fórmulas e as tabelas de LS, podemos decidir se

duas fórmulas são equivalentes.
 Lógica
Sentencial:
principais
problemas
Argumentos válidos
Renata de
Freitas e
Petrucio A prova consiste, essencialmente, em:
Viana

Um texto
tı́pico
1. tomar um número inteiro positivo qualquer n, maior que 1;
Sentenças
válidas

Sentenças
equivalentes 2. considerar que n é primo ou n não é primo;
Argumentos
válidos

Principais 3. no primeiro caso, concluir trivialmente que n possui um

problemas
fator primo;
Exercı́cios

4. no segundo caso, explicar pormenorizadamente que, após

sucessivas fatorações, podemos concluir que n possui um
fator primo.
 Lógica
Sentencial:
principais
problemas
Argumentos válidos
Renata de
Freitas e
Petrucio Estrutura geral da prova...
Viana

Um texto
tı́pico
n é primo ∨ (¬ n é primo)
Sentenças
válidas

Sentenças n é primo → n possui um fator primo

equivalentes

Argumentos
válidos (¬ n é primo) → n possui um fator primo
Principais
problemas

Exercı́cios
Logo, n possui um fator primo.

Se temos duas “alternativas” e cada uma delas nos leva à

conclusão que estamos buscando, então podemos garantir que
a conclusão deve ser verdadeira.
 Lógica
Sentencial:
principais
problemas
Argumentos válidos
Renata de
Freitas e
Petrucio
Viana

Um texto
tı́pico
Uma estrutura pode ser vista como uma estratégia geral para a
Sentenças elaboração detalhada de uma prova.
válidas

Sentenças
equivalentes

Argumentos
válidos

Principais
Depois que escolhemos uma estratégia, tentamos “preencher as
problemas lacunas” de modo a produzir um texto que mostra que a
Exercı́cios
sentença conclusão realmente segue das sentenças que
assumimos como premissas.
 Lógica
Sentencial:
principais
problemas
Argumentos válidos
Renata de
Freitas e
Petrucio
Viana

Um texto
tı́pico Como podemos ver que a estrutura/estratégia geral de uma
Sentenças prova é realmente adequada?
válidas

Sentenças
equivalentes

Argumentos
válidos

Principais
problemas
Bem, se estamos “lendo” os conectivos como os conectivos de
Exercı́cios LS, podemos aplicar as fórmulas e as tabelas das fórmulas para
resolver este problema.
 Lógica
Sentencial:
principais
problemas
Argumentos válidos
Renata de
Freitas e
Petrucio Considere a legenda:
Viana

Um texto
p : n é primo
tı́pico
q : n possui um fator primo
Sentenças
válidas

Sentenças
equivalentes De acordo com a legenda, a estrutura/estratégia é representada
Argumentos
válidos
como:
ϕ : (p ∨ (¬p))
Principais
problemas ψ : (p → q)
Exercı́cios θ : ((¬p) → q)
γ : q

Observe a barra horizontal separando as premissas da

conclusão.
 Lógica
Sentencial:
principais
problemas
Argumentos válidos
Renata de
Freitas e
Petrucio
Viana

Um texto Observe que, na prova, as premissas da estrutura/estratégia

tı́pico
são empregadas como sentenças verdadeiras e a conclusão da
Sentenças
válidas estrutura é empregada como uma sentença cuja veracidade é
Sentenças sustentada pela verdade das premissas.
equivalentes

Argumentos
válidos

Principais
problemas

Exercı́cios
Assim, quando perguntamos se a estrutura/estratégia é
adequada, perguntamos se a verdade simultânea das suas
premissas acarreta a verdade da sua conclusão.
 Lógica
Sentencial:
principais
problemas
Argumentos válidos
Renata de
Freitas e
Petrucio
Viana

Um texto
tı́pico
Ou seja, se quando passamos da conjunção (verdade
Sentenças simultânea) das premissas para a conclusão, o valor das
válidas
sentenças não está diminuindo (“passando” de V para F ).
Sentenças
equivalentes

Argumentos
válidos

Principais
problemas
Em toda prova, “partimos” das premissas, que assumimos que
Exercı́cios
são V , e “chegamos” na conclusão, que queremos garantir que
é V .
 Lógica
Sentencial:
principais
problemas
Argumentos válidos
Renata de
Freitas e
Petrucio
Viana A tabela da estrutura/estratégia é:
Um texto
tı́pico p q (¬p) ϕ ψ θ (ϕ ∧ ψ) ((ϕ ∧ ψ) ∧ θ)
Sentenças
válidas

Sentenças
V V F V V V V V ⇐
equivalentes V F F V F V F F
Argumentos
válidos
F V V V V V V V ⇐
Principais
F F V V V F V F
problemas

Exercı́cios

Em todas as interpretações nas quais as premissas são

simultaneamente verdadeiras, a conclusão também é
verdadeira.
 Lógica
Sentencial:
principais
problemas
Em resumo
Renata de
Freitas e
Petrucio
Viana 1. Podemos usar sequências de sentenças, com premissas e
Um texto
conclusão, para expressar estruturas/estratégias de
tı́pico raciocı́nio (que chamaremos de argumentos).
Sentenças
válidas

Sentenças
equivalentes
2. Argumentos são frequentemente empregados na
Argumentos justificação de sentenças.
válidos

Principais
problemas
3. Um argumento é válido quando o valor da conclusão não é
Exercı́cios
menor do que o valor da conjunção das suas premissas.

4. Usando as fórmulas e as tabelas de LS, podemos decidir se

os argumentos são válidos.
 Lógica
Sentencial:
principais
problemas
Principais conceitos
Renata de
Freitas e
Petrucio
Viana
Em resumo, os principais conceitos necessários para a análise
lógica do raciocı́nio são:
Um texto
tı́pico

Sentenças
válidas 1. Sentenças válidas, ou seja, aquelas que são V em todas as
Sentenças
equivalentes
suas interpretações.
Argumentos 2. Pares de sentenças equivalentes, ou seja, aquelas que
válidos
possuem os mesmos valores nas mesmas interpretações.
Principais
problemas
3. Argumentos, ou seja, sequências de sentenças em que uma
Exercı́cios
é destacada como conclusão e as outras são consideradas
como premissas.
4. Argumentos válidos, ou seja, aqueles em que, quando a
conjunção das premissas é V , a conclusão também é V .
 Lógica
Sentencial:
principais
problemas
Principais problemas e ferramentas
Renata de
Freitas e
Petrucio
Viana
Assim, os principais problemas associados à análise lógica do
raciocı́nio são:
Um texto
tı́pico 1. Reconhecer as sentenças válidas.
Sentenças
válidas 2. Determinar se duas sentenças são equivalentes.
Sentenças 3. Reescrever sentenças de uma maneira equivalente mais
equivalentes

Argumentos
informativa.
válidos
4. Determinar se um argumento é válido.
Principais
problemas

Exercı́cios
A estratégia geral para a aplicação de LS na resolução destes
problemas é:
1. representar as sentenças como fórmulas;
2. usar as tabelas das fórmulas para resolver o problema.
 Lógica
Sentencial:
principais
problemas
Principais ferramentas
Renata de
Freitas e
Petrucio
Viana Vamos, agora, estudar um pouco mais profundamente:
Um texto
tı́pico

Sentenças
válidas 1. A representação das sentenças como fórmulas de LS.
Sentenças
equivalentes

Argumentos
válidos 2. A aplicação das tabelas de avaliação das fórmulas na
Principais resolução dos problemas.
problemas

Exercı́cios

Nosso principal objetivo é avaliar o uso que fizemos de LS

e, se necessário, modificar o sistema para torná-lo mais
amigável, eficiente, abrangente, etc.
 Lógica
Sentencial:
principais
problemas
Exercı́cio
Renata de
Freitas e
Petrucio 1. Em cada item a seguir, decida se a sentença dada é válida:
Viana

Um texto (i) Não é o caso que se n não é par, então n tem fator primo;
tı́pico ou n é ı́mpar.
Sentenças
válidas (ii) Se n não é quadrado perfeito nem ı́mpar, então n não é
Sentenças quadrado perfeito ou n é par.
equivalentes

Argumentos
válidos
2. Em cada item a seguir, decida se os pares de sentenças
Principais
problemas dados são pares de sentenças equivalentes:
Exercı́cios
(i) n não é par nem primo.
Não é o caso que n é par ou primo.
(ii) n é par e primo.
Se n é par, então é primo.
 Lógica
Sentencial:
principais
problemas
Exercı́cio
Renata de
Freitas e
Petrucio
Viana
3. Em cada item a seguir, decida se o argumento dado é
Um texto válido:
tı́pico

Sentenças
válidas

Sentenças (i) Se n não é par, então n não possui um fator primo.

equivalentes
Se n não é ı́mpar, então n não possui um fator primo.
Argumentos
válidos
Além disso, n é par ou n é ı́mpar.
Principais
Logo, n possui um fator primo.
problemas

Exercı́cios
(ii) Se n é par, então n não possui um fator primo.
Se n é ı́mpar, então n não possui um fator primo.
Além disso, n é par ou ı́mpar.
Logo, n não possui um fator primo.