Você está na página 1de 66

CCT0350 – MATEMÁTICA APLICADA A COMPUTAÇÃO

Aula 11: Cálculo Proposicional


MATEMÁTICA APLICADA A COMPUTAÇÃO
Cálculo Proposicional

Álgebra de Booleana aplicada à construção de tabelas verdade

- Três operações ou funções básicas.

• operação OU,
• operação E
• negação.

Todas as funções Booleanas podem ser representadas em termos dessas operações básicas.

AULA 11: Cálculo Proposicional


MATEMÁTICA APLICADA A COMPUTAÇÃO
Cálculo Proposicional

- Operação OU (Adição Lógica)

Assume valor 1 - se pelo menos uma das variáveis de entrada vale 1.

Assume valor zero - somente quando todas as variáveis de entrada valem 0.

Símbolo: + , tal como o símbolo da adição algébrica (dos reais).

Teoria de conjuntos: OU é representado pela união.

AULA 11: Cálculo Proposicional


MATEMÁTICA APLICADA A COMPUTAÇÃO
Cálculo Proposicional

Atenção: Variáveis Booleanas  adição lógica.

Operação OU :

0+0=0
0+1=1
1+0=1
1+1=1

Observação: Operação OU só pode ser definida se houver, pelo menos,


duas variáveis envolvidas. Por isso operador + (OU) é dito binário.

Propriedades: associativa e comutativa.

AULA 11: Cálculo Proposicional


MATEMÁTICA APLICADA A COMPUTAÇÃO
Cálculo Proposicional

Operação E (Multiplicação Lógica)

resulta 0 se pelo menos uma das variáveis de entrada vale 0.

será 1 se, e somente se, todas as entradas valerem 1.

Símbolo: ×.

Teoria dos conjuntos: E é representado pela interseção.

AULA 11: Cálculo Proposicional


MATEMÁTICA APLICADA A COMPUTAÇÃO
Cálculo Proposicional

Operação E:

0 ×0 = 0
0 ×1 = 0
1 ×0 = 0
1 ×1 = 1

Observação: só pode ser definida entre, pelo menos, duas variáveis.

Operador × (E) também é binário.

Propriedades: associativa e comutativa.

AULA 11: Cálculo Proposicional


MATEMÁTICA APLICADA A COMPUTAÇÃO
Cálculo Proposicional

Negação (ou Complementação ou Inversão)

Valor complementar ao que a variável apresenta.

O valor complementar será: 1 se a variável vale 0


0 se a variável vale 1.

Símbolos: variável Booleana A são , ~A e A' (lê-se A negado).

Observação: só é definida sobre uma variável, ou sobre o resultado de uma expressão.

O operador complementação é dito unário.

AULA 11: Cálculo Proposicional


MATEMÁTICA APLICADA A COMPUTAÇÃO
Cálculo Proposicional: Tautologia, Contradição e Contingência

- Tautologia

Definição: Tautologia é uma proposição composta cujo valor lógico é sempre verdadeiro.
Exemplo:
i) A proposição p ∨ (~p) é uma tautologia, pois o seu valor lógico é sempre V
ii) A proposição (p Λ q) → (p → q) é uma tautologia, pois a última coluna da tabela-verdade
só possui V.

AULA 11: Cálculo Proposicional


MATEMÁTICA APLICADA A COMPUTAÇÃO
Cálculo Proposicional

A fórmula proposicional (p ^ q)  p é uma tautologia, pois o seu valor lógico é sempre V

Vamos verificar utilizando a tabela verdade:

AULA 11: Cálculo Proposicional


MATEMÁTICA APLICADA A COMPUTAÇÃO
Cálculo Proposicional

Vamos verificar utilizando a tabela verdade:

AULA 11: Cálculo Proposicional


MATEMÁTICA APLICADA A COMPUTAÇÃO
Cálculo Proposicional

Vamos verificar utilizando a tabela verdade:

AULA 11: Cálculo Proposicional


MATEMÁTICA APLICADA A COMPUTAÇÃO
Cálculo Proposicional

Exemplo: fórmula proposicional ~p  p é uma tautologia ?

https://ccbela.wordpress.com

AULA 11: Cálculo Proposicional


MATEMÁTICA APLICADA A COMPUTAÇÃO
Cálculo Proposicional

Exemplo: fórmula proposicional ~p  p é uma tautologia ?

~p p ~p  p
V F V
V F V
F V V
F V V

P é uma tautologia = P é uma fórmula proposicional tautológica = P é logicamente verdadeira.

Nota: Podemos tambem representar qualquer toutologia por (“1”, “T” ou “V”).

AULA 11: Cálculo Proposicional


MATEMÁTICA APLICADA A COMPUTAÇÃO
Cálculo Proposicional

- Contradição

Definição: Contradição é uma proposição cujo valor lógico é sempre falso.

Exemplo: A proposição (p Λ ~p) é uma contradição, pois o seu valor lógico é


sempre F conforme a tabela-verdade. Que significa que uma proposição não
pode ser falsa e verdadeira ao mesmo tempo, isto é, o principio da não
contradição.

AULA 11: Cálculo Proposicional


MATEMÁTICA APLICADA A COMPUTAÇÃO
Cálculo Proposicional

Exemplo: fórmula proposicional p ^(~p ^ q ).

AULA 11: Cálculo Proposicional


MATEMÁTICA APLICADA A COMPUTAÇÃO
Cálculo Proposicional

Exemplo: fórmula proposicional p ^(~p ^ q ).

AULA 11: Cálculo Proposicional


MATEMÁTICA APLICADA A COMPUTAÇÃO
Cálculo Proposicional

Exemplo: fórmula proposicional p ^(~p ^ q ).

Nota: Podemos também representar qualquer contradição por (“0” ou “F”).

AULA 11: Cálculo Proposicional


MATEMÁTICA APLICADA A COMPUTAÇÃO
Cálculo Proposicional

Podemos também representar qualquer toutologia por (“1”, “T” ou “V”) e qualquer contradição
por (“0” ou “F”). Ou seja, no lugar de uma fórmula que é tautologia podemos colocar “1” ou
“V”.

Exemplos:
A v 0 <==> A Elemento neutro A v F = A;
A v A’ <==> 1 Complementos
A ^ A’ <==> A Elemento neutro A^V=A
A ^ A’ <==> 0 Complementos

AULA 11: Cálculo Proposicional


MATEMÁTICA APLICADA A COMPUTAÇÃO
Cálculo Proposicional

- Contingência

Definição: Contingência ocorre quando há tanto valores V como F na última


coluna da tabela verdade de uma proposição. Em outras palavras, será
contingência se não for tautologia e nem contradição.

AULA 11: Cálculo Proposicional


MATEMÁTICA APLICADA A COMPUTAÇÃO
Cálculo Proposicional

- Contingência

Exemplos: p q

AULA 11: Cálculo Proposicional


MATEMÁTICA APLICADA A COMPUTAÇÃO
Cálculo Proposicional

Implicação Lógica

Definição: Dadas duas proposições compostas P e Q, diz-se que ocorre uma implicação
lógica (ou relação de implicação ou proposição condicional) entre P e Q quando
a proposição condicional P  Q é uma tautologia, ou seja, diz-se que uma
proposição P implica logicamente uma proposição Q, se Q é verdadeira todas
as vezes que P é verdadeira.

Notação : P  Q (P implica Q)

Ref.: https://www.colegioweb.com.br/nocoes-de-logica

AULA 11: Cálculo Proposicional


MATEMÁTICA APLICADA A COMPUTAÇÃO
Cálculo Proposicional

Diferença entre  e 

 O símbolo  representa uma operação matemática entre as


proposições P e Q que tem como resultado a proposição P  Q,
com valor lógico V ou F.

 O símbolo  representa a não ocorrência de Valor F na tabela-verdade


de P  Q, ou ainda que o valor lógico da condicional P  Q será
sempre V, ou então que P  Q é uma tautologia.

AULA 11: Cálculo Proposicional


MATEMÁTICA APLICADA A COMPUTAÇÃO
Cálculo Proposicional

Exemplo: fórmulas proposicionais


P: p ^ q
Q: p,
temos que P  Q é tautológica, portanto, P  Q.

AULA 11: Cálculo Proposicional


MATEMÁTICA APLICADA A COMPUTAÇÃO
Cálculo Proposicional

Exemplo:
i) (p Λ q) ⇒ (p ↔q)

(p Λ q) → (p ↔ q)

É uma TAUTOLOGIA, logo....

AULA 11: Cálculo Proposicional


MATEMÁTICA APLICADA A COMPUTAÇÃO
Cálculo Proposicional

Exemplo:
ii) 5 x 5 = 20  (2+1)2 = 32.

Devemos perguntar:
5 x 5 = 20  (2+1)2 = 32 é verdade sempre?

Proposições:
P: 5 x 5 = 20 é F (único valor)
q: (2+1)2 = 32 é V (único valor)
Logo,
P  q ou F  V , o que dá como resultado V em todas as situações (Tautologia).

AULA 11: Cálculo Proposicional


MATEMÁTICA APLICADA A COMPUTAÇÃO
Cálculo Proposicional

Exemplo: 3 > 2  3 > 4.

AULA 11: Cálculo Proposicional


MATEMÁTICA APLICADA A COMPUTAÇÃO
Cálculo Proposicional

Exemplo: 3 > 2  3 > 4.

3 > 2 3 > 4
V  F é Falso

Logo, não é uma implicação


lógica.

AULA 11: Cálculo Proposicional


MATEMÁTICA APLICADA A COMPUTAÇÃO
Cálculo Proposicional

Exemplo: Verificar (p ^ q)  (p  q)

(p ^ q)  (p  q) é uma tautologia?

(p ^ q)  (p  q) é uma tautologia, por isso (p ^ q)  (p  q)

AULA 11: Cálculo Proposicional


MATEMÁTICA APLICADA A COMPUTAÇÃO
Cálculo Proposicional

Equivalência Lógica: P  Q.

Dizemos que uma fórmula proposicional P é equivalente à fórmula proposicional Q ou,


simplesmente, que P é equivalente a Q se a fórmula proposicional P  Q é tautológica.

Notação: Para indicar que P é equivalente a Q usamos a notação P  Q.

AULA 11: Cálculo Proposicional


MATEMÁTICA APLICADA A COMPUTAÇÃO
Cálculo Proposicional

Equivalência Lógica

Exemplo: fórmulas proposicionais


P: p  q
Q : ~p  q,

temos que P  Q é tautológica, portanto P  Q.

AULA 11: Cálculo Proposicional


MATEMÁTICA APLICADA A COMPUTAÇÃO
Cálculo Proposicional

Observação: Os símbolos  e  são distintos!

 indica uma operação lógica (i.e., pode ser verificada por uma tabela
verdade).

 estabelece que P  Q é tautológica (estabelece uma relação entre P e Q).

Propriedades

• Reflexiva : P  P
• Simétrica : Se P  Q então Q  P
• Transitiva: Se P  Q e Q  R, então P  R

AULA 11: Cálculo Proposicional


MATEMÁTICA APLICADA A COMPUTAÇÃO
Cálculo Proposicional

Equivalências Tautológicas
As fórmulas A e B são tautologicamente equivalentes e indicamos A  B se e
somente se a fórmula A  B é uma tautologia

Exemplos de algumas Equivalências Tautológicas:


Comutativa
1a. A v B <=> B v A
1b. A ^ B <=> B ^ A
Associatividade
2a. (A v B) v C <=> A v (A v B)
2b. (A ^ B) ^ C <=> A^ (B ^ C)
Distributiva
3a. A v (B ^ C) <=> (A v B) ^ (A v C)
3b. A ^ (B v C) <=> (A ^ B) v (A ^ C)

AULA 11: Cálculo Proposicional


MATEMÁTICA APLICADA A COMPUTAÇÃO
Cálculo Proposicional

Equivalências Tautológicas

Leis de DE MORGAN

(A ^ B)’ <=> A’ v B’

(A v B)’ <=> A’ ^ B’

AULA 11: Cálculo Proposicional


MATEMÁTICA APLICADA A COMPUTAÇÃO
Cálculo Proposicional

AULA 11: Cálculo Proposicional


MATEMÁTICA APLICADA A COMPUTAÇÃO
Cálculo Proposicional

Exemplo: Fórmulas
A: p (q ^ r) e
B : ~(q ^ r )  ~ p
vamos verificar que A  B, ou ainda que A / B.

Basta verificar, com o uso das tabelas verdade, que A  B é tautologia.

AULA 11: Cálculo Proposicional


MATEMÁTICA APLICADA A COMPUTAÇÃO
Cálculo Proposicional
A: p (q ^ r)
B : ~(q ^ r )  ~ p
AB?

A  B pois A  B é tautologia

AULA 11: Cálculo Proposicional


MATEMÁTICA APLICADA A COMPUTAÇÃO
Exercícios Propostos

Sugestão de resolução dos exercícios propostos.

1- Monte a tabela lógica que representa:

AULA 11: Cálculo Proposicional


MATEMÁTICA APLICADA A COMPUTAÇÃO
Exercícios Propostos

Sugestão de resolução dos exercícios propostos.

1- Monte a tabela lógica que representa:

AULA 11: Cálculo Proposicional


MATEMÁTICA APLICADA A COMPUTAÇÃO
Exercícios Propostos

Sugestão de resolução dos exercícios propostos.

2- Utilizando tabelas verdade, verifique se existe a implicação lógica p ^ ~p  q

AULA 11: Cálculo Proposicional


MATEMÁTICA APLICADA A COMPUTAÇÃO
Exercícios Propostos

Sugestão de resolução dos exercícios propostos.

2- Utilizando tabelas verdade, verifique se existe a implicação lógica p ^ ~p  q

Verificamos que é uma tautologia portanto existe a implicação lógica.

AULA 11: Cálculo Proposicional


MATEMÁTICA APLICADA A COMPUTAÇÃO
Exercícios Propostos

Sugestão de resolução dos exercícios propostos.

3- Utilizando tabelas verdade, verifique se existem as seguintes relações de implicação lógica:

AULA 11: Cálculo Proposicional


MATEMÁTICA APLICADA A COMPUTAÇÃO
Exercícios Propostos

Sugestão de resolução dos exercícios propostos.

3- Utilizando tabelas verdade, verifique se existem as relações de implicação lógica:

É uma tautologia!

AULA 11: Cálculo Proposicional


MATEMÁTICA APLICADA A COMPUTAÇÃO
Exercícios Propostos

Sugestão de resolução dos exercícios propostos.

3- Utilizando tabelas verdade, verifique se existem as relações de implicação lógica:

É uma tautologia!

AULA 11: Cálculo Proposicional


MATEMÁTICA APLICADA A COMPUTAÇÃO
Exercícios Propostos

Sugestão de resolução dos exercícios propostos.

3- Utilizando tabelas verdade, verifique se existem as relações de implicação lógica:

Não é uma tautologia!

AULA 11: Cálculo Proposicional


MATEMÁTICA APLICADA A COMPUTAÇÃO
Exercícios Propostos

Sugestão de resolução dos exercícios propostos.

3- Utilizando tabelas verdade, verifique se existem as relações de implicação lógica:

É uma tautologia!

AULA 11: Cálculo Proposicional


MATEMÁTICA APLICADA A COMPUTAÇÃO
Exercícios Propostos: Proposição x Predicado

Sugestão de resolução dos exercícios propostos.

Assinale a ÚNICA alternativa que NÃO apresenta uma característica da proposição:

( ) Deve ser afirmativa


() Apresenta pensamento de sentido completo
() Pode ser escrita na forma simbólica.
() Pode ser escrita em linguagem natural.
() Pode apresentar pensamento de sentido incompleto ou indefinido.

Uma sentença como “𝑥 2 = 4” não é uma proposição, pois para que ela possa ser
classificada em verdadeira ou falsa é preciso saber qual valor é atribuído a x. Trata-
se de uma sentença aberta. Sentenças como essa são denominadas predicados.

AULA 11: Cálculo Proposicional


MATEMÁTICA APLICADA A COMPUTAÇÃO
Exercícios Propostos

Sugestão de resolução dos exercícios propostos.

Considere as proposições:
p: A Terra é um planeta.
q: A Terra gira em torno do Sol

Traduza para a linguagem natural a proposição ¬(p∨q)

(a) A Terra é um planeta e gira em torno do Sol.


(b) A Terra é um planeta, mas não gira em torno do Sol.
(c) A Terra é um planeta ou gira em torno do Sol.
(d) Não é verdade que a Terra é um planeta e gira em torno do Sol.
(e) Não é verdade que a Terra é um planeta ou gira em torno do Sol.

AULA 11: Cálculo Proposicional


MATEMÁTICA APLICADA A COMPUTAÇÃO
Exercícios Propostos

Sugestão de resolução dos exercícios propostos.

Considere as proposições:
p - A Terra é um planeta
q - A Terra gira em torno do Sol.

Traduza a proposição p→q para linguagem natural.

(a) Se a Terra é um planeta, então não gira em torno do Sol.


(b) A Terra é um planeta se e somente se gira em torno do Sol.
(c) A Terra é um planeta, mas não gira em torno do Sol.
(d) A Terra é um planeta que gira em torno do Sol.
(e) Se a Terra é um planeta, então a Terra gira em torno do Sol.

AULA 11: Cálculo Proposicional


MATEMÁTICA APLICADA A COMPUTAÇÃO
Exercícios Propostos

Sugestão de resolução dos exercícios propostos.

Considere as proposições:
p: Faz calor
q: Está fazendo sol.
Traduza para a linguagem natural a proposição p⟺ ¬q

(a) Se faz calor, então não está fazendo sol.


(b) Faz calor se e somente se não está fazendo sol.
(c) Faz calor e não está fazendo sol.
(d) Faz calor ou não está fazendo sol.
(e) Faz calor porque está fazendo sol..

AULA 11: Cálculo Proposicional


MATEMÁTICA APLICADA A COMPUTAÇÃO
Exercícios Propostos

Sugestão de resolução dos exercícios propostos.

Assinale a ÚNICA alternativa que apresenta uma sentença aberta:

(a) 4 > 3
(b) 5 <= 2
(c) Juliana é uma bela menina.
(d) x < 5
(e) O Flamengo é o melhor time do mundo.

AULA 11: Cálculo Proposicional


MATEMÁTICA APLICADA A COMPUTAÇÃO
Exercícios Propostos

Sugestão de resolução dos exercícios propostos.

A equivalência A . (B + C) = A . B + A . C atende a qual propriedade da álgebra booleana?

(a) Associativa
(b) Distributiva
(c) De Morgan
(d) Comutativa
(e) Nenhuma das opções anteriores.

AULA 11: Cálculo Proposicional


MATEMÁTICA APLICADA A COMPUTAÇÃO
Exercícios Propostos

Sugestão de resolução dos exercícios propostos.

A equivalência (A + B) + C = A + (B + C) corresponde a qual propriedade de álgebra booleana?

(a) Associativa
(b) Distributiva
(c) De Morgan
(d) Comutativa
(e) Nenhuma das opções anteriores.

AULA 11: Cálculo Proposicional


MATEMÁTICA APLICADA A COMPUTAÇÃO
Exercícios Propostos

Sugestão de resolução dos exercícios propostos.

Se V(p) = V e V (q) = F, apresente o valor lógico da proposição 𝑃(𝑝,𝑞)= ~(𝑝˅𝑞)↔~𝑝˄~𝑞

Demonstre que (p → q) ↔(~q → ~p)

Resp.:
𝑃(𝑝,𝑞)=~(𝑝˅𝑞)↔~𝑝˄~𝑞
𝑃(𝑝,𝑞)=~(𝑉 ˅ 𝐹)↔𝐹˄ 𝑉
𝑃(𝑝,𝑞)=~(𝑉 )↔𝐹
𝑃(𝑝,𝑞)=𝐹↔𝐹
𝑃(𝑝,𝑞)=𝑉

AULA 11: Cálculo Proposicional


MATEMÁTICA APLICADA A COMPUTAÇÃO
Exercícios Propostos

Sugestão de resolução dos exercícios propostos.

Expresse a sentença "Se João é pintor, então ele é artista e professor" em linguagem simbólica:

a)
b)
c)
d)
e)

AULA 11: Cálculo Proposicional


MATEMÁTICA APLICADA A COMPUTAÇÃO
Exercícios Propostos

Sugestão de resolução dos exercícios propostos.

Enuncie o princípio da não-contradição.

Enuncie o Princípio do Terceiro Excluído.

1) uma proposição não pode ser simultaneamente


verdadeira e falsa.
2) toda proposição ou é só verdadeira ou só falsa, nunca
ocorrendo um terceiro caso.

AULA 11: Cálculo Proposicional


A proposição P implica a proposição Q, quando
a condicional P → Q for uma

(a) Tautologia
(b) Contradição
(c) Contingência
(d) Precedência
(e) Nenhuma das opções anteriores
Construa a tabela verdade da proposição
P(𝑝,𝑞,𝑟): 𝑝 ^ ~𝑟 → ~𝑞 v 𝑟

Atenção com a precedência dos operadores!


A sentença ~ (A ∧ B) ⇔ ~ A v ~ B representa
qual lei de equivalência lógica?

a) Dupla Negação
b) Associativa
c) Comutativa.
d) Idempotente.
e) De Morgan
A proposição p ^ ~(p v q) é um exemplo de:

a) Tautologia
b) Contradição
c) Contingência.
d) Precedência.
e) Nenhuma das alternativas anteriores.
Suponha que um revendedor de engates
possua 31 tipos diferentes de engates. Qual o
número mínimo de engates que o revendedor
deve ter em estoque para garantir que haja
pelo menos 3 engates de um mesmo tipo?

Dica: Considere-se o tipo de engate como o "número de


casas" e a quantidade de engates como "número de
pombos".

Explicação: Se tivermos 62 engates, haverá, pelo menos, 2 engates de cada tipo (62 = 31 x 2), mas
não há garantia de que algum tipo tenha 3 engates, pois pode ocorrer que haja, exatamente, 2
engates para cada um dos 31 tipos.
Assim, com 63 engates, certamente haverá pelo menos 1 tipo que terá 3 engates.
Com os dígitos 0, 1, 2, 5 e 8, quantos números
de quatro algarismos diferentes, podemos
formar, no sistema de numeração decimal ?

Explicação:
a) 96 Possibilidades:
b) 69 - 4 para o primeiro algarismo (exclui-se o 0)
c) 196
d) 120 - 4 para o segundo algarismo (exclui-se o
e) 129 primeiro)
- 3 para o terceiro (excluem-se os dois
primeiros)
- 2 para o quarto (excluem-se os três
primeiros)
Resultado: 4 x 4 x 3 x 2 = 96 possibilidades.
Um alfabeto consiste em quatro letras: A, B, C
e D. Nessa língua, uma palavra é uma
seqüência arbitrária de no máximo quatro
letras diferentes Quantas palavras existem
nessa língua?

a) 24
b) 48
c) 64
Desta forma, este idioma pode formar palavras com 1, 2, 3 ou 4 letras,
d) 128
DESDE QUE TODAS AS LETRAS SEJAM DISTINTAS ENTRE SI.
e) 12 Logo,
Palavras de 1 só letra = 4 possibilidades
Palavras de 2 letras = 4 x 3 possibilidades = 12 possibilidades
Palavras de 3 letras = 4 x 3 x 2 possibilidades = 24 possibilidades
Palavras de 4 letras = 4 x 3 x 2 x 1 possibilidades = 24 possibilidades
Total: 64 possibilidades.
MATEMÁTICA APLICADA A COMPUTAÇÃO
Indicação de Leitura
Indicação de Leitura Específica

• Recomendamos a leitura do capítulo referente Teoria de Conjuntos no material didático.


• Acesse a Biblioteca Virtual da Estácio e pesquise mais exercícios nos livros de Teoria de Conjuntos
disponíveis.

Sugestão de material:

http://www.otricolor.com/images/noticias/1278/Inicia%E7%E3o%20a%20L%F3gica%20Matem%E1ti
ca.%20Edegard%20Filho.%20Editota%20Nobel%20(1).pdf
https://www.google.com.br/?gfe_rd=cr&ei=TdqhVaOOEeGB8QeEu4DIDA&gws_rd=ssl#q=Proposi%C
3%A7%C3%B5es+Simples
http://www.feata.edu.br/downloads/revistas/avessodoavesso/v3_artigo04_logica.pdf
http://uol.iesde.com.br/aprovaconcursos/demo_aprova_concursos/raciocinio_logico_01.pdf

AULA 11: Cálculo Proposicional


MATEMÁTICA APLICADA A COMPUTAÇÃO
Indicação de Leitura
Indicação de Leitura Específica

Sugestão de leitura:

https://docente.ifrn.edu.br/cleonelima/disciplinas/fundamentos-de-programacao-
2.8401.1m/fundamentos-de-logica-e-algoritmos-1.8401.1v/apostila-equivalencias-logicas

AULA 11: Cálculo Proposicional


VAMOS AOS PRÓXIMOS PASSOS?

Unidade 5 – Cálculo Proposicional

5.10. Formas Normais. Problema de Post;


5.11. Conjuntos Adequados de Conectivos;
5.12. Argumento e Regras de Inferência.

Você também pode gostar