• Unidade de Ensino: Fundamentos da Lógica

• Competência da Unidade Compreensão da lógica no

Lógica mundo computacional, principalmente no que se refere
Computacional à lógica usada na construção de algoritmos.
• Resumo: Esse conhecimento será construído através

Fundamentos da Lógica do estudo e entendimento da lógica proposicional e

seus conectivos, que permitem criar regras e valorar
Profa. Ms. Adriane Ap. Loper seus resultados como verdadeiro ou falso.
• Palavras-chave: conectivo, logica, regras
• Título da Teleaula: Fundamentos da Lógica
• Teleaula nº: 03

Contextualizando
 Você está participando de um processo seletivo para
desenvolvedor trainee em uma grande empresa de
Conceitos
tecnologia.
 Você já passou a primeira fase, composta por entrevistas
com o gestor e o setor de recursos humanos, agora chegou
Introdução à Lógica
a hora de mostrar que você manda bem na lógica e que
tem capacidade para se tornar um grande desenvolvedor.
Proposicional
 Essa etapa do processo consiste em três testes, no primeiro Fonte: Shutterstock

você deverá criar proposições simples e compostas para

resolver um problema com as formas geométricas.
 No segundo desafio, você deverá criar estruturas
condicionais usando os operadores lógicos para resolver um
problema com fórmulas.
 No último desafio, você deverá usar os recursos da lógica
para demonstrar a veracidade de um argumento.

Lógica computacional Lógica computacional

 Segundo Machado e Cunha (2008) o objetivo  Em nosso cotidiano, usamos a linguagem natural para
fundamental de um curso de lógica é desenvolver a nos expressar por meio de frases, que em alguns casos
competência na argumentação, compreender as razões podem ser argumentativas sendo assim compostas por
próprias e dos outros nas tomadas de posição diante dos premissas e conclusões.
acontecimentos e nas decisões.  EX.:uma professora sobre o desempenho de um certo
 Construiremos algoritmos capazes de tomar decisões, e Fonte: Shutterstock
aluno: “É lógico que Pedro será aprovado nos exames, Fonte: Shutterstock
para isso precisaremos implementar regras baseadas na pois ele é inteligente e estuda muito e todos os alunos
Lógica Formal. Isso mesmo, aquela Lógica Formal inteligentes e estudiosos são aprovados”. Esse
desenvolvida por Aristóteles entre 300 e 400 anos antes argumento foi construído embasado por premissas
de Cristo (MACHADO; CUNHA, 2008). (razões) e que levam a uma única conclusão.
 Na lógica computacional, vamos utilizar as mesmas
regras da Lógica Formal, porém iremos valorar os
conteúdos, como verdadeiro ou falso, a fim de extrair
nossas conclusões.

1
Proposições Proposições
 Proposição é uma sentença declarativa que pode ser  As proposições podem ser classificadas como simples ou
classificada como verdadeira ou falsa, jamais ambas ao compostas.
mesmo tempo. Ou seja, não pode haver dúvida quanto à  A proposição será simples quando existir uma única
classificação da sentença. afirmação na frase
 Também podemos dizer que trata-se de uma  A proposição é composta quando for constituída de,
classificação binária, pois só existem dois resultados Fonte: Shutterstock
pelo menos, duas proposições simples “ligadas” por um Fonte: Shutterstock
possíveis: V ou F, ou ainda 1 ou 0. conectivo lógico, também chamado de conector lógico,
conectivo proposicional ou operação lógica. (BISPO;
CASTANHEIRA, 2011).

Proposições Simples Proposições Compostas

Tais estruturas serão designadas pelas letras latinas  Pode ser chamada de fórmula proposicional ou uma
minúsculas tais como: molécula ou ainda uma proposição molecular. É uma
p, q, r, s, u, v... sentença declarativa, afirmativa, de sentido completo
Exemplos: constituída pela combinação de duas ou mais
p: 12>2. proposições simples.
q: Joana é uma excelente professora. Fonte: Shutterstock
 As proposições compostas serão designadas pelas Fonte: Shutterstock
s: Adriane foi a um aniversário no sábado. letras latinas maiúsculas tais como:
t: Rone é jogador de truco.  P, Q, R, S, U, V, Z
 Exemplos:
Valor lógico de uma proposição p:  “Os suíços fabricam os melhores relógios e os
Verdadeiro: V(p) = V; franceses, o melhor vinho”.
Falso: V(p) = F.  = E + 2 proposições simples
 P: Os suíços fabricam os melhores relógios.
 S: Os franceses fabricam o melhor vinho.

Proposições Compostas
Simples ou Atômicas Compostas ou Moleculares
As proposições simples(átomos) combinam-se com Latinas maiúsculas:
Latinas minúsculas:
outras ou são modificadas por alguns P, Q, R, S, U, V, W
p, q, r, s, u, v, w
operadores(conectivos).
r: Ariana Grande é R: Se Lucas ganhar
Exemplos:
P(p,q): José é dançarino e Carlos é estudante. uma cantora famosa. na Mega-Sena, então ele
Q(p,q): José é dançarino ou Carlos é estudante. q: A Copa do Mundo compra uma Ferrari.
R(p,q): Se José é dançarino então é feliz.
Fonte: Shutterstock
de 2022 será no Q: Madalena é escritora
S(p,q): Comprarei uma ferrari se e somente se eu Catar e professora.
ganhar na sena da virada! Valor Lógico: Valor Lógico:
V(r): V ou V(r): F V(R): V ou V(R): F
V(q): V ou V(q): F V(Q): V ou V(Q): F

2
 Banca: FUNCAB Órgão: MDA Prova: FUNCAB - MDA -
Resolução da SP Analista de Sistema Operacional
Assinale a alternativa que contém uma proposição simples.
Proposições
a) Fernanda e Clara são colegas de classe
b) O carro é compacto ou utilitário.
c) Rafael foi estudar e Beatriz foi ao mercado.
d) Se Maria é médica, então sabe biologia.
e) Carlos é guitarrista e Lucas é vocalista

Banca: FUNCAB Órgão: MDA Prova: FUNCAB - MDA -

Analista de Sistema Operacional Conceitos
Assinale a alternativa que contém uma proposição simples.
Operadores ou
a) Fernanda e Clara são colegas de classe conectivos lógicos
b) O carro é compacto ou utilitário.
c) Rafael foi estudar e Beatriz foi ao mercado.
d) Se Maria é médica, então sabe biologia.
e) Carlos é guitarrista e Lucas é vocalista

Sua missão Sua missão

Como candidato a uma vaga de desenvolvedor trainee em  Construir proposições, simples e compostas, que
uma grande empresa de tecnologia, após passar pelas representem as regras necessárias para a construção das
entrevistas com seu futuro gestor e com o setor de recursos três figuras. Nessa mesma folha, além das figuras
humanos, chegou a hora de vencer mais uma etapa: o teste também vieram algumas dicas sobre a construção dos
de lógica. A empresa faz questão desse teste, pois sabe que elementos geométricos apresentados:
um bom desenvolvedor deve mandar bem na lógica. Nesse Fonte: Shutterstock
 Para que um triângulo possa ser construído é necessário Fonte: Shutterstock
primeiro teste, a empresa lhe forneceu uma folha com três que a soma de dois lados seja sempre maior que o outro
figuras geométricas, conforme ilustra a imagem das Figuras lado.
geométricas:  Um quadrado é composto por quatro lados com medidas
iguais e quatro ângulos de noventa graus.
 Um retângulo é composto por quatro lados com medidas
paralelas iguais e quatro ângulos de noventa graus.

3
Conectivos lógicos Conectivos
Conectivos lógicos são termos empregados para formar Palavras ou Símbolo
novas proposições (compostas) a partir de proposições Nome
letras (conectivo)
existentes (simples).
Não ~ Negação
Proposições compostas representadas por letras
maiúsculas (P, Q, R, T, ...). E ∧ Conjunção
Valor lógico de uma proposição composta P(p,q,...) Ou ∨ Disjunção
depende unicamente dos valores lógicos das proposições
Se... então → Condicional
p, q, ...
Exemplos:
... se, e somente
2 é irracional e 2 é racional. ↔ Bicondicional
se, ...
Se 𝑎 é par então 𝑎 é par.

Negação (não) Conjunção (e)

Negação (~) Conjunção (∧)
Se p e q são proposições, a conjunção de p e q
𝑉 𝑝 =𝑉 𝑉 ~𝑝 = 𝐹 (denotada por p ∧ q) será uma proposição verdadeira
apenas quando os valores lógicos de p e q foram, ao
𝑉 𝑝 =𝐹 𝑉 ~𝑝 = 𝑉 mesmo tempo, verdadeiros.

𝑉 𝑝 =𝑉e
Exemplos: 𝑉 𝑝∧𝑞 =𝑉
𝑉 𝑞 =𝑉
p: 2 é primo
~p: 2 não é primo Ex: p: 2 é um número par
q: A lua é azul. q: 2 é um número primo
~q: A lua não é azul. p ∧ q: 2 é um número par e 2 é um número primo

Disjunção (ou)
Resolução da SP
Se p e q são proposições, a disjunção de p e q (denotada
por p∨q) será uma proposição verdadeira quando, ao
menos, uma das proposições assumir valor lógico Figuras Geométricas
verdadeiro.
𝑉 𝑝 = 𝑉 e 𝑉 𝑞 = 𝑉; ou
𝑉 𝑝 = 𝑉 e 𝑉 𝑞 = 𝐹; ou 𝑉 𝑝∨𝑞 =𝑉
𝑉 𝑝 = 𝐹 e𝑉 𝑞 = 𝑉
Ex: p: 9 = 7
q: 2 = 4
p ∧ q: 9 = 7 ou 2 = 4

4
Com as informações você deve construir proposições simples e  Agora vamos construir as proposições simples para criar a
compostas que representem as regras necessárias para a regra para a construção do quadrado.
construção das três figuras. P: A medida do lado d é igual à do lado e.
Pois bem, o primeiro passo é construir as proposições simples. Q: A medida do lado f é igual à do lado e.
 Vamos começar pelo triângulo. S: A medida do lado g é igual à do lado f.
A: A soma das medidas do lado a com o lado b do triângulo T: A medida do ângulo r é diferente de noventa graus.
abc é maior que a medida do lado c.
Com a criação das proposições simples, agora podemos criar
B: A soma das medidas do lado b com o lado c do triângulo
a proposição composta que representa a regra: P^Q^S^~T.
abc é maior que a medida do lado a.
Veja, que na maneira como construímos a proposição
C: A soma das medidas do lado a com o lado c do triângulo
abc é maior que a medida do lado b. simples T, foi necessário usar a negação para construir a
Agora que temos as proposições simples, vamos usar a dica 1 regra correta.
para construir uma expressão lógica que traduza essa regra. É importante você ficar atento ao aspecto sintático da
Como as três proposições precisam ser verdadeiras para que expressão.
seja possível construir um triângulo, teremos como resultado a
expressão: A^B^C. Ou seja, foi necessário usar a conjunção
para construir a proposição composta que representa a regra.

 Por fim, vamos construir as proposições simples para o

retângulo.
Conceitos
X: A medida do lado h é igual à do lado j.
Z: A medida do lado i é igual à do lado l.
W: A medida do ângulo r é igual a noventa graus. Conectivos e
Agora basta usar o(s) conector(es) corretos para criar a
proposição composta que representa a regra: X^Z^W. classificação textual
Veja que, a partir da utilização de proposições simples e
conectivos lógicos, foi possível construir formas e regras que
podem ser implementadas computacionalmente.

Sua Missão Sua Missão

Dando sequência ao seu teste de lógica para uma vaga de Utilizando as constantes (a, b, c) da equação do segundo
desenvolvedor trainee em uma grande empresa de grau e da fórmula de Bhaskara, você deverá escrever
tecnologia, chegou a hora de vencer mais um desafio, no proposições simples e, a partir delas, criar implicações
qual você deverá criar estruturas condicionais usando os lógicas, utilizando a notação simbólica, para as seguintes
operadores lógicos para resolver um problema com regras:
fórmulas. Se o coeficiente a for positivo, então a parábola tem a
Foram-lhe passadas duas fórmulas: concavidade virada para cima.
Fonte: Shutterstock

Se o coeficiente a for negativo, então a parábola tem a

concavidade virada para baixo.
Se o valor do delta for positivo, então a equação possui
A primeira é a famosa fórmula de Bhaskara, usada para duas raízes reais distintas.
calcular as raízes de uma equação do segundo grau
Se o valor do delta for negativo, então a equação não
(y=ax2+bx+c).
possui raízes reais.
Já a segunda fórmula pertence ao cálculo proposicional e é
uma das leis de De Morgan.(está no livro texto)

5
Sua missão Cálculo Proposicional
Se o coeficiente a for positivo e o valor do delta for  O cálculo proposicional fornece mecanismos para validar
positivo, então a parábola tem a concavidade virada para argumentos, tais mecanismos envolvem a utilização de
cima e a equação possui duas raízes reais distintas. proposições, que podem ser simples (apenas uma
Com base no seu conhecimento, quantas proposições afirmação) ou compostas. Nesse segundo caso, temos
simples devem ser usadas para traduzir as regras um encadeamento de proposições simples usando
apresentadas para a fórmula da equação do segundo Fonte: Shutterstock
conectivos lógicos.
grau e de Bhaskara?  Uma proposição composta pode ser criada fazendo a
Quais conectores devem ser utilizados para escrever a conjunção de duas proposições simples, neste caso são
fórmula de maneira correta? utilizadas as palavras “e”, “mas”, “no entanto”, dentre
outras para fazer a conexão.
 Também podemos criar uma proposição composta
fazendo a disjunção de duas proposições simples, nesse
caso usamos a palavra “ou” para a conexão.

Condicional Bicondicional
Condicional (→) Bicondicional (↔)
Corresponde a uma proposição do tipo “se p então q”, Corresponde a uma proposição do tipo “p se, e somente se,
denotada por p→q, que assume valor lógico falso apenas q”, denotada por p↔q, que assume valor lógico verdadeiro
quando V(p) = V e V(q) = F. quando p e q foram simultaneamente verdadeiras ou falsas.
𝑉 𝑝 = 𝑉 e 𝑉 𝑞 = 𝑉; ou
𝑉 𝑝→𝑞 𝑉 𝑝 = 𝑉 e 𝑉 𝑞 = 𝑉; ou
𝑉 𝑝 = 𝐹 e 𝑉 𝑞 = 𝑉; ou 𝑉 𝑝↔𝑞 =𝑉
=𝑉
𝑉 𝑝 = 𝐹 e𝑉 𝑞 = 𝐹 𝑉 𝑝 = 𝐹 e𝑉 𝑞 = 𝐹
Ex: p: a é um número par Ex: p: 2 é um número par
q: a2 é um número par q: 22 é um número par
p → q: se a é um número par então a2 é um p ↔ q: 2 é um número par se, e somente se, 22 é um
número par número par

Regras de precedência para conectivos Fórmula bem-formulada ou fbf

 Assim como fez Aristóteles, a partir de agora, vamos
• (1) ~ focar na forma e nos valores lógicos que as expressões
• (2) Λ ou V podem assumir.
• (3) →  Já sabemos que é possível criar proposições compostas,
• (4) ↔ fazendo conexões entre proposições simples.
 Na verdade, podemos encadear preposições, conectivos
Portanto, o conectivo mais “fraco” é a negação e o mais e parênteses (ou colchetes) e formar novas expressões
“forte” é a bicondicional. lógicas, as quais chamamos fórmula.
Ex: 𝑝 ∨ 𝑞 ↔ 𝑟 → 𝑠  Embora “Uma sequência qualquer de elementos do
1. 𝑝 ∨ 𝑞 vocabulário do cálculo proposicional constitui uma
2. 𝑟 → 𝑠 fórmula” (BISPO; CASTANHEIRA, 2011, p. 12), nem toda
3. 𝑝 ∨ 𝑞 ↔ 𝑟 → 𝑠 fórmula é válida.
 Segundo Gersting (2017), certas regras de sintaxe
precisam ser seguidas, assim como acontece em
qualquer linguagem de programação.

6
 Fórmula bem-formulada ou fbf Fórmula bem-formulada ou fbf
 Podemos fazer uma analogia entre as fórmulas do Fórmulas matemáticas e proposicional
cálculo proposicional com as fórmulas matemáticas.
 Os conectivos lógicos são como os operadores
matemáticos (soma, subtração, etc.), portanto sempre
teremos um conectivo entre duas proposições. O
operador de negação é como o sinal negativo na 1ª regra: uma proposição simples é uma fórmula bem
matemática e, por isso, ele pode aparecer perto de outro formada
conector. Uma fórmula que segue as regras de sintaxe é
2ª regra: a negação de uma fórmula bem formada é
chamada de fórmula bem-formulada ou ainda, em inglês,
uma fórmula bem formada
well-formed formula - wff (BISPO; CASTANHEIRA, 2011;
3ª regra: se p e q são fórmulas bem formadas, então
GERSTING, 2017).
 Observe abaixo,emos três exemplos de fórmulas
𝑝 ∧ 𝑞 , 𝑝 ∨ 𝑞 , 𝑝 → 𝑞 e 𝑝 ↔ 𝑞 são também
matemáticas, três de fórmulas válidas (fbf) e três de fórmulas bem formadas
fórmulas inválidas. Exemplo: 𝑝 ∨ 𝑞 ↔ 𝑟 → 𝑠 é bem formada/ 𝑝 →∨ 𝑞 não é
bem formada

Resolução da SP
Como primeiro passo você deve escrever as proposições
Fórmula de Bhaskara simples, as quais nos possibilitarão construir as implicações
lógicas para a equação do segundo grau e a fórmula de
Bhaskara.
A seguir, uma das possibilidades de se escrever essas
proposições.
A: O coeficiente a da equação é positivo e diferente de
zero.
B: A parábola tem a concavidade virada para cima.
C: A parábola tem a concavidade virada para baixo.
D: O valor do delta é positivo e diferente de zero.
E: A equação possui duas raízes reais distintas.
F: A equação não possui raízes reais.

Com as proposições simples definidas, agora podemos

escrever os condicionais que representam, simbolicamente,
Conceitos
as regras elencadas.
Para a regra 1, podemos escrever: A  B.
Para a regra 2, podemos escrever: ~A C. Métodos dedutivos e
Para a regra 3, podemos escrever: D E.
Para a regra 4, podemos escrever: ~DF. inferência lógica
Para a regra 5, podemos escrever: (A^D)(B^E).
Veja que na regra 5 temos uma condição que envolve a
conjunção entre duas proposições.
Para construir, basta ficar atento aos conectivos que estão
sendo usados na frase e na forma como se anunciou as
proposições simples.

7
Sua missão Sua missão
Dando continuidade ao processo seletivo para a vaga de Seu desafio é traduzir para forma simbólica os dois
trainee, nessa última fase do processo, os contratantes argumentos e provar a veracidade, usando as regras de
querem testar seu raciocínio lógico, bem como seu dedução da Lógica Formal.
conhecimento sobre as regras de dedução da Lógica Cada passo na sequência de demonstração deve ser
Formal. comentado, para que os avaliadores tenham certeza que
Você recebeu dois argumentos: Fonte: Shutterstock
você conhece o processo. Fonte: Shutterstock
a. Se o papel de tornassol ficar vermelho, então a solução e Quantos passos serão necessários para demonstrar cada
ácida. O papel de tornassol ficou vermelho. Portanto, a argumento? Será possível fazer uma demonstração usando
solução é ácida. somente regras de inferência? Sabendo que é mais
b. Se treino, eu venço o campeonato de xadrez. Se não importante conhecer o processo do que decorar regras, os
jogo vôlei, então eu treino xadrez. Não venci o campeonato avaliadores permitiram que você usasse a Internet para
de xadrez. Portanto, joguei vôlei. consultar as regras de equivalência e inferência lógica.
Apresentaremos na aula o item a: A solução é ácida.

Argumento, hipótese e conclusão Argumento, hipótese e conclusão

 Um argumento é composto por hipóteses e conclusão, e  Essas regras vão nos permitir avaliar a relação entre as
ambas podem ser compostas por proposições simples ou hipóteses e a conclusão, que também pode ser chamada
fbf. de consequência lógica, dedução lógica, conclusão lógica
 No argumento, as proposições são ligadas logicamente ou implicação lógica.
pelo conectivo de conjunção (e), as quais implicam  “Uma proposição pode ser verdadeira ou falsa e não pode
logicamente a conclusão. ser válida ou inválida; do mesmo modo, um argumento
 Por isso, a ligação entre as hipóteses e a conclusão é feita pode ser válido ou inválido e não pode ser verdadeiro ou
por meio do conectivo condicional. falso” (BISPO; CASTANHEIRA, 2011, p. 36).
 Dado um argumento é importante validar se ele é válido  Um argumento pode ser representado de forma simbólica
ou inválido, o grande desafio é como fazer essa validação. por: onde P1,P2,P3, Pn são as hipóteses.
 A lógica possui mecanismos que permitem validá-lo, os  A letra representa C a conclusão do argumento, a qual
quais são compostos pelas regras de equivalência e também pode ser tanto uma proposição simples como
inferência lógica. uma fbf (BISPO; CASTANHEIRA, 2011; GERSTING, 2017).

Argumento, hipótese e conclusão Argumento, hipótese e conclusão

Exemplo: proposições verdadeiras, o argumento é inválido, pois a
 D. Pedro I proclamou a independência do Brasil e conclusão nada tem a ver com as hipóteses.
Thomas Jefferson escreveu a Declaração de  Esse exemplo deixa claro que, basear-se apenas no
Independência dos Estados Unidos. Portanto, todo dia conteúdo de um argumento não é suficiente para dizer se
tem 24 horas. ele é válido ou não.
 Vamos separar as proposições do argumento em  Para notação simbólica, logo temos a seguinte fórmula:
hipóteses e conclusão. A^BC. Nessa fórmula quando o valor lógico de entrada
A: D. Pedro I proclamou a independência do Brasil. da proposição A for verdadeiro e de B for falso, o
B: Thomas Jefferson escreveu a Declaração de resultado da implicação será falso, ou seja, existe pelo
Independência dos Estados Unidos. menos uma combinação de entradas, para a qual a
C: Todo dia tem 24 horas. fórmula resultará em falsa, logo essa fórmula não é uma
 Nosso conhecimento nos permite valorar as três tautologia e, consequentemente, não é um argumento
proposições, logo, A, B, C são todas verdadeiras. válido.
 Embora, tanto as hipóteses, quanto a conclusão sejam

8
 Regras de equivalência
Tautologia

Para saber se um argumento é válido ou não, precisamos

saber se ele é uma tautologia. Para fazer essa checagem,
poderíamos testar todas as combinações de entrada
possíveis para o argumento. Porém, se tratando da Lógica
Formal, podemos usar um sistema de regras de dedução e,
seguindo uma sequência de demonstração provar se o
argumento é válido ou não. “Uma sequência de
demonstração é uma sequência de fbfs nas quais cada fbf é
uma hipótese ou o resultado de se aplicar uma das regras
de dedução do sistema formal a fbfs anteriores na
sequência” (GERSTING, 2017 p. 25).

Equivalências lógicas Principais regras de inferência:

SÃO USADAS: Modus ponens;
Modus tollens;
Regra da adição;
Demonstração de Conjuntos e suas
Regra da simplificação;
argumentos válidos. propriedades. Regra da absorção;
Silogismo hipotético;
Por ter características semelhantes a Silogismo disjuntivo;
aritmética sobre números, tais propriedades Regra da bicondicional;
são conhecidas “Álgebra das Proposições”. Dilema construtivo;
Dilema destrutivo.

Modus Ponens
A partir de A  B e A, infere-se B. Exemplo:
O argumento tem duas premissas: Premissa 1: ~𝑝 Conclusão:
-A condição "se - então", nomeadamente que A implica B. Premissa 2: ~𝑝 → 𝑞 𝑟
-A é verdadeiro.
Premissa 3: 𝑞 → 𝑟
Destas duas premissas pode ser logicamente concluído que B
Demonstração:
tem de ser também verdadeiro.
1. ~𝑝 (premissa 1)
2. ~𝑝 → 𝑞 (premissa 2)
Ex: - Se chover, então fico em casa.
3. 𝑞 → 𝑟 (premissa 3)
- Choveu.
4. 𝑞 (modus ponens de 1 e 2)
- Então fico em casa.
5. 𝑟 (modus ponens de 3 e 4)

9
 a. Se o papel de tornassol ficar vermelho, então a solução
é ácida. O papel de tornassol ficou vermelho. Portanto,
Resolução da SP
a solução é ácida.
Vamos começar pelo argumento (a):
a. Se o papel de tornassol ficar vermelho, então a solução é
ácida. O papel de tornassol ficou vermelho. Portanto, a
solução é ácida.
Vamos traduzir o argumento para proposições:
P: O papel de tornassol fica vermelho.
Q: A solução é ácida.
Agora é possível traduzir o argumento para forma
simbólica: PQ^PQ. A
gora podemos começar a sequência de demonstração,
iniciando pela enumeração das hipóteses, seguida da
aplicação de regras de dedução:

1. PQ (hip).
2. P (hip). Interação
3. Q (1, 2 MP).
No item 1 tem-se a primeira hipótese PQ.
No segundo item, a segunda hipótese, lembrando que cada
hipótese é conectada pela conjunção e, que cada uma delas
pode ser fbf.
Após elencar as hipóteses, consultamos o Quadro 3.6:
e vimos que era possível aplicar a regra de Modus Ponens,
ao aplicá-la na linha 3, chegamos exatamente na conclusão
do argumento, logo
esse argumento é válido.

Entenderam a importância da compreensão dessa nova

linguagem? Conceitos

Recapitulando

Fonte: https://gifer.com/en/XlOL9

10
Introdução à Lógica Proposicional ;
Conectivos e Classificação Textual;
Inferências.

11