Apostila LogicaProposicional

UFU Universidade Federal de Uberlndia
Faculdade de Computao

Apostila de Lgica Proposicional
(Fundamentos Bsicos)

Prof. Luiz Gustavo Almeida Martins
UFU - Faculdade de Computao Lgica Proposicional
Fundamentos Bsicos da Lgica
INTRODUO
1.1 Definio de Lgica
A lgica o estudo sobre a natureza do raciocnio e do conhecimento. Ela usada para formalizar
e justificar os elementos do raciocnio empregados nas demonstraes / provas de teoremas.
A lgica clssica se baseia em um mundo bivalente ou binrio (viso restrita do mundo real), onde
os conhecimentos so representados por sentenas que s podem assumir dois valores verdade
(verdadeiro ou falso). Portanto, nesse contexto, uma demonstrao um meio de descobrir uma
verdade pr-existente deste mundo.
1.2 Lgica Proposicional
A lgica proposicional a forma mais simples de lgica. Nela os fatos do mundo real so
representados por sentenas sem argumentos, chamadas de proposies.
Ex:
MUNDO REAL PROPOSIO LGICA
Hoje est chovendo P
A rua est molhada Q
Se est chovendo, ento a rua est molhada. P Q
Definio (proposio): uma proposio uma sentena, de qualquer natureza, que pode ser
qualificada de verdadeiro ou falso.
Ex: 1 + 1 = 2 uma proposio verdadeira da aritmtica.
0 > 1 uma proposio falsa da aritmtica.
Se no possvel definir a interpretao (verdadeiro ou falso) da sentena, esta no uma
proposio. Alguns exemplos deste tipo de sentena so apresentados abaixo:
Frases Interrogativas (ex: Qual o seu nome?).
Frases Imperativas (ex: Preste ateno!).
Paradoxos Lgicos (ex: Esta frase falsa).
Exerccio de Fixao
Verifique se as expresses abaixo so proposies. Justifique sua resposta.
a) Boa sorte!
b) Todas as mulheres possuem sua beleza.
Prof. Luiz Gustavo A. Martins Pg.:1
c) Mrcio no irmo do Mrio.
d) No faa isto!
e) Ceclia escritora.
f) Quantos japoneses moram no Brasil?
1.3 Lgica e Informtica
Na computao, a lgica pode ser utilizada, entre outras coisas, para:
Conceber circuitos lgicos (o raciocnio do computador um raciocnio lgico);
Representar conhecimento (programao lgica);
Validar algoritmos e corrigir programas (testes lgicos das especificaes em engenharia
de software).
2 Sintaxe
2.1 Linguagem e Alfabeto
O conjunto de frmulas da lgica proposicional denominado L
(lgica de ordem ). Cada

frmula deste conjunto uma proposio gerada pela concatenao de smbolos pertencentes ao
alfabeto da lgica proposicional, definido inicialmente.
Este alfabeto infinito, constitudo por:
Smbolos verdade: true e false;
Smbolos proposicionais: P, Q, R, S, P
1
, P
2
, P
3
, etc;
Conectivos proposicionais: (no), (ou inclusivo), (e), (implica ou se, ento) e
(equivalncia, bi-implicao ou se e somente se); e
Smbolos de pontuao: ( e ).
Vale ressaltar que, assim como na linguagem portuguesa, nem toda a concatenao vlida, ou
seja, pertence linguagem da lgica proposicional.
As frmulas proposicionais so construdas, a partir do alfabeto proposicional, de acordo com as
seguintes regras:
1. Todo smbolo verdade uma frmula;
2. Todo smbolo proposicional uma frmula;
3. Se P uma frmula, ento a sua negao (P) tambm uma frmula;
4. Se P e Q so frmulas, ento:
4.1. A disjuno de P e Q (P Q) tambm uma frmula;
4.2. A conjuno de P e Q (P Q) tambm uma frmula;
4.3. A implicao de P em Q (P Q) tambm uma frmula;
4.4. A bi-implicao de P e Q (P Q) tambm uma frmula;
Nesta definio, as frmulas mais elementares so os smbolos verdade e proposicionais. A partir
destes e utilizando as regras 3 e 4, recursivamente, possvel obter um conjunto infinito de
frmulas.
Note que o conectivo unrio (aplicado sobre uma nica frmula) e fica na ordem pr-fixa,
enquanto que os demais conectivos so binrios (aplicado sobre duas frmulas) e fica na ordem
infixa.
Exemplos de Frmulas Vlidas
(P Q) ( (R) X) ( (P (Y) ) (Q (R V) ) )
As construes acima so frmulas proposicionais, pois podem ser derivadas a partir da aplicao
das regras de construo descritas.
Exemplos de Frmulas Invlidas
PQR (R True ) ( False ( Q P) )
As construes acima no constituem frmulas proposicionais, pois no possvel deriv-las a
partir das regras descritas.
Exerccio: Dado os smbolos proposicionais P e Q. Mostre que ( (P Q) ( (P) (Q) ) )
uma frmula proposicional.
Soluo: P e Q so frmulas (aplicando a Regra 2)
(P Q) frmula (aplicando a Regra 4.2)
(P) e (Q) so frmulas (aplicando a Regra 3)
( (P) (Q) ) frmula (aplicando a Regra 4.3)
( (P Q) ( (P) (Q) ) ) frmula (aplicando a Regra 4.2)
2.2 Precedncia dos Conectivos
Os smbolos de pontuao (parnteses), assim como na aritmtica, so empregados para
priorizar um clculo proposicional. Esses smbolos podem ser omitidos quando isto no altera o
significado da frmula proposicional.
Ex: (((P)) Q) P Q
OBS: A frmula (X Y) na pode ser escrita sem parnteses: (X Y) X Y.
Se em uma frmula, os parnteses no so usados, o clculo proposicional deve seguir a
seguinte ordem de prioridade:
(maior precedncia)
e (menor precedncia)
e (precedncia intermediria)
Ex: P Q R (P Q) R
P Q R ((P) Q) R
Alm da precedncia, tambm existem as regras de associatividade, que definem a prioridade no
clculo para conectivos de mesma precedncia. So elas:
e (conectivos associativos esquerda)
e (conectivos associativos direita)
Ex: P Q R (P Q) R
P Q R P (Q R)
Exerccio: Elimine o maior nmero possvel de parnteses da frmula, sem alterar seu significado
original: ((X) (((X Y)) Z)).
Soluo: (X) (((X Y)) Z)
X ((X Y) Z)
Exerccio de Fixao
Identifique quais frmulas pertencem lgica proposicional. Justifique sua resposta, apresentando
as regras de construo utilizadas ou apontando uma concatenao invlida. Para as frmulas
vlidas, remova os smbolos de pontuao sem afetar a sua interpretao.
a) (P Q) ((Q P) ((R)))
b) Q R
c) (P R) (Q ((T) R))
d) (PQ True)
e) (((P)) ((((((P Q))) R)) P))
f) (P (Q R)) ((P Q) (R P))
2.3 Comprimento de Frmula
O comprimento de uma frmula proposicional H, denotado COMP[H], definido como segue:
Se H um smbolo verdade ou proposicional, ento COMP[H] = 1;
Se H uma frmula proposicional, ento COMP[H] = COMP[H] + 1;
Se (P Q) uma frmula proposicional, sendo um dos conectivos binrios, ento
COMP[P Q] = COMP[P] + COMP[Q] + 1.
Note que o comprimento de uma frmula obtido atravs da contagem dos conectivos e dos
smbolos verdade e proposicionais, desconsiderando o smbolo de pontuao.
Ex: COMP[ (P Q) R ] = COMP[P Q] + COMP[R] + 1 = COMP[P] + COMP[Q] + 1 + 1 + 1 =
= 1+ 1+ 1 + 1 + 1 = 5.
Este conceito muito utilizado em demonstraes lgicas pelo princpio da induo finita.
2.4 Subfrmulas
O conjunto formado pelas subfrmulas de uma frmula proposicional contm todos os pedaos
vlidos desta frmula, inclusive ela mesma. Este conjunto formado pelas seguintes regras:
H uma subfrmula de H;
Se H = (P), ento P uma subfrmula de H;
Se H = (P Q), sendo um dos conectivos binrios, ento P e Q so subfrmulas de H;
Se P subfrmula de H, ento toda subfrmula de P tambm subfrmula de H.
Definio informal: Todo pedao de H que uma frmula proposicional vlida, uma subfrmula
de H, inclusive ela mesma.
Exerccio de Fixao
Determine o comprimento e as subfrmulas das seguintes frmulas proposicionais:
a) ((P Q) (P Q)) True
b) P ((Q R) ((P Q) (P R)))
c) ((P P) P) Q
d) (P Q)
3 Semntica
A semntica associa um significado a cada objeto sinttico. Assim, quando se escreve a frmula
PQ, dependendo dos valores de P e Q, esta frmula pode ser verdadeira ou falsa.
3.1 Interpretao
O significado (semntica) dos elementos sintticos da linguagem da lgica proposicional
determinado por uma funo binria total, denominada interpretao. Esta funo associa a
cada frmula um valor verdade (verdadeiro ou falso), que pode ser representado por {T, F} ou {0,
1} (notao da lgebra booleana).
Formalizando o conceito de interpretao, temos:
Definio (funo binria): uma funo binria se seu contradomnio possui apenas 2
elementos.
Definio (funo total): uma funo completa se definida em todos os elementos de seu
domnio.
Definio (interpretao): na lgica proposicional, uma interpretao I uma funo binria
total, tal que:
O domnio de I constitudo pelo conjunto das frmulas da lgica proposicional;
O contradomnio de I o conjunto {T, F}.
3.2 Clculo Proposicional
O clculo proposicional define a semntica da frmula segundo uma interpretao. Ele associa a
cada frmula uma aplicao do tipo:
{T, F}
N
{T, F}
sendo N, o nmero de smbolos proposicionais e verdade da frmula.
3.3 Semntica do Alfabeto Proposicional
A definio da interpretao dos smbolos do alfabeto proposicional dada abaixo:
Smbolos verdade: sua interpretao fixa, como segue:
I[True] = T e I[False] = F
Smbolos proposicionais: dado um smbolo proposicional P, ele pode assumir qualquer
valor do contradomnio de I. Assim:
I [P] {T, F}
Conectivos proposicionais: no possuem significado isoladamente. Entretanto, por
simplificao, a interpretao de uma frmula poder ser denotada como significado do
conectivo. A descrio da interpretao dos conectivos apresentada a seguir:
Dadas duas frmulas proposicionais H e G.
Negao Se E = H, ento:
I[E] = F, para I[H] = T.
I[E] = T, para I[H] = F.
Conjuno () Se E = (H G), ento:
I[E] = F, para I[H] = F e/ou I[G] = F.
I[E] = T, para I[H] = T e I[G] = T.
Disjuno () Se E = (H G), ento:
I[E] = F, para I[H] = F e I[G] = F.
I[E] = T, para I[H] = T e/ou I[G] = T.
Implicao () Se E = (H G), ento:
I[E] = F, para I[H] = T e I[G] = F.
I[E] = T, para I[H] = F e/ou I[G] = T.
OBS: O conectivo denota o conceito de necessidade (o conseqente (G) indica o
que necessrio para que o antecedente (H) ocorra). Uma condio necessria um
pr-requisito para que um fato ocorra, mas sua veracidade no suficiente para
garantir que o fato tambm seja verdade.
Equivalncia () Se E = (H G), ento:
I[E] = F, para I[H] I[G].
I[E] = T, para I[H] = I[G].
OBS: O conectivo denota o conceito de suficincia (o conseqente (G) indica o
que suficiente para que o antecedente (H) ocorra, ou seja, tudo que necessrio).
Uma condio suficiente o conjunto de todos os pr-requisitos necessrios para
que um fato ocorra. Assim, a veracidade desse conjunto garante a veracidade do fato.
Exerccio: Sejam P e Q duas proposies. Demonstrar com a ajuda da definio de interpretao
dos conectivos que: (P Q) (Q P).
Soluo: Para I[P Q] = T I[P] = F e/ou I[Q] = T
Se I[P] = F I[P] = T I[Q P] = T
Se I[Q] = T I[Q P] = T
Para I[P Q] = F I[P] = T e I[Q] = F
Se I[P] = T e I[Q] = F I[P] = F e I[Q] = F I[Q P] = F
Como para qualquer interpretao I, I[P Q] = I[Q P], ento (P Q) (Q P) vlido.
Exerccio de Fixao
Sejam P e Q duas proposies. Demonstrar com a ajuda da definio de interpretao dos
conectivos que:
a) P Q (P Q) (Q P)
b) (P Q) (P Q) (Q P)
c) P Q (P Q)
4 Propriedades Semnticas
So relaes obtidas no mundo semntico a partir das frmulas sintticas. O estudo destas
relaes entre os elementos sintticos e semnticos, denominada teoria dos modelos, uma das
principais razes da aplicao da lgica cincia da computao.
4.1 Tautologia
Uma frmula H uma tautologia ou vlida se e somente se I | I [H] = T.
OBS: Note que validade muito mais que veracidade. Uma frmula pode ser verdadeira para
uma determinada interpretao, mas no ser vlida (existe outra interpretao onde a frmula
falsa).
Exerccio: Demonstrar atravs da definio do significado dos conectivos que H = X X uma
tautologia.
Soluo: Se H uma tautologia, ento I | I [H] = T.
I[H] = T I[X X] = T
I[X] = T ou I[X] = T
I[X] = T ou I[X] = F
Como I [X] {T, F}, ento I | I [H] = T c.q.d.
4.2 Frmulas Factveis
Uma frmula H factvel ou satisfatvel se e somente se I | I [H] = T.
Observe que, por esta definio, tautologia um subconjunto das frmulas satisfatveis.
Exerccio: Demonstrar que H = P Q satisfatvel, mas no uma tautologia.
Soluo: Se H satisfatvel, ento I | I [H] = T.
I[H] = T I[P Q] = T I[P] = T e/ou I[Q] = T
Portanto, para I[P] = T e/ou I[Q] = T, temos I[H] = T.
Entretanto, para I[P] = F e I[Q] = F, temos I[H] = F.
Logo, H factvel, mas no tautologia. c.q.d.
4.3 Contradio
Uma frmula H contraditria se e somente se I | I [H] = F.
Exerccio: Demonstrar atravs da definio do significado dos conectivos que H = X X uma
contradio.
Soluo: Se H uma contradio, ento I | I [H] = F.
I[H] = F I[X X] = F
I[X] = F e/ou I[X] = F
I[X] = F e/ou I[X] = T
Como I uma funo binria, tal que I [X] {T, F}, ento I | I [H] = F c.q.d.
Exerccio de Fixao
Determinar quais das frmulas abaixo so tautologias, contradies ou frmulas factveis.
Justifique sua resposta:
a) (P (P Q)) P
b) P
1
P
2
P
3
Q Q
c) (P Q) (P Q)
d) P
1
P
2
P
3
Q Q
e) (P P) (Q Q)
4.4 Equivalncia de Frmulas
Sejam H e G L
. Elas so equivalentes, semanticamente, se e somente se I | I [H] = I [G].

Notao: H G ou H G.
Exerccio: Demonstrar atravs da definio do significado dos conectivos que H = (P Q) e
G = (P Q) so equivalentes.
Soluo: Se H e G so equivalentes, ento I | I [H] = I [G].
Para I[H] = T I[P Q] = T I[P] = T e I[Q] = T I[P] = F e I[Q] = F
Se I[P] = F e I[Q] = F I[P Q] = F I[(P Q)] = T
Para I[H] = F I[P Q] = F I[P] = F e/ou I[Q] = F I[P] = T e/ou I[Q] = T
Se I[P] = T I[P Q] = T I[(P Q)] = F
Se I[Q] = T I[P Q] = T I[(P Q)] = F
H e G apresentam o mesmo valor para qualquer interpretao ento, elas so equivalentes.
A tabela abaixo apresenta algumas das equivalncias clssicas encontradas na literatura:
Tabela 1 - Equivalncias Clssicas (H G)
Identificao Frmula H Frmula G
Dupla Negativa (E) E
E False E
Propriedades de
Identidade
E True E
E E True
Propriedades
Complementares
E E False
(E R) E R
Leis de Morgan
(E R) E R
Contraposio E R R E
E R E R
Propriedades de
Substituio
E R (E R) (R E)
E R R E
Propriedades
Comutativas
E R R E
E (R S) (E R) S
Propriedades
Associativas
E (R S) (E R) S
E (R S) (E R) (E S)
Propriedades
Distributivas
E (R S) (E R) (E S)
Prova Condicional E (R S) (E R) S
Exerccio: Sejam P e Q L
. Demonstre, com o auxlio das equivalncias clssicas, que as

frmulas abaixo so equivalentes: E = Q (Q P) e G = (Q Q) (Q P).
Soluo: Q (Q P)
Q (Q P) (aplicando a Propriedade de Substituio do )
(Q Q) (Q P) (aplicando a Propriedade Distributiva)
Exerccio de Fixao
Demonstre, com auxlio das equivalncias clssicas, que as frmulas abaixo so equivalentes:
a) (E G) (E G) (E G)
b) (X Y) Z (Z X) (Z Y)
c) ((P Q) S) P (P S) ((Q S) P)
4.5 Implicao de Frmulas
Sejam H e G L
. H implica em G, se e somente se I, quando I[H] = T, I[G] = T.

Notao: H G ou
G
H
.
Exerccio: Demonstrar pela definio do significado dos conectivos que X implica em Y X.
Soluo: Se X implica em Y X, ento: quando I [X] = T, I [Y X] = T.
Para I[Y X] = T I[Y] = F e/ou I[X] = T
Isto significa que, sempre que I[X] = T, temos I[Y X] = T. Logo, X Y X. c.q.d.
O conceito de implicao de frmulas (G H) NO quer dizer que I, I[G] = I[H]; ou que quando
I[H] = T, I[G] = T. A implicao semntica s nos permite concluir I[H] = T quanto I[G] = T.
Nos demais casos, nada pode ser concludo.
A implicao de frmulas usada como mecanismo de inferncia na deduo de novos
conhecimentos.
Exerccio de Fixao
Verifique se as frmulas abaixo so implicaes semnticas:
a) P True
b) (X 0 X = Y) (XY) (X = 0)
c) P (Q R S (G U)) P True
d) (P Q) (P Q) Q
OBS: Enquanto e so smbolos sintticos para implicao e equivalncia, e so
elementos da metalinguagem para representar a implicao e equivalncia semntica.
4.6 Outras Propriedades Semnticas
Dada uma frmula H e uma interpretao I, ento I satisfaz H se e somente se I[H] = T.
Um conjunto de frmulas = {H
1
, H
2
, , H
N
} satisfatvel se e somente se I | I[] = T,
ou seja, I | I[H
1
] = I[H
2
] = = I[H
N
] = T.
4.7 Proposies sobre as Propriedades Semnticas
A partir das propriedades apresentadas acima, podemos concluir as seguintes proposies:
1- Dada uma frmula Q pertencente lgica proposicional, ento:
a) Q tautologia Q factvel.
b) Q no factvel Q contradio.
c) Q tautologia Q contradio.
Demonstrao:
Se H uma tautologia, ento I | I [Q] = T.
I[Q] = T I[Q] = F
Logo, I | I [Q] = F, ou seja, Q uma contradio. c.q.d
2- Se P e G so equivalentes (P G), ento P G uma tautologia.
Demonstrao:
Se P G, ento I | I [P] = I[G].
Para I[P] = I[G] = T I [P G] = T
Para I[P] = I[G] = F I [P G] = T
Logo, I | I [P G] = T, ou seja, (P G) uma tautologia. c.q.d.
3- Se P implica semanticamente em G (P G), ento P G uma tautologia.
Demonstrao:
Se P G, ento I [G] = T quando I[P] = T.
Para I[P] = I[G] = T I [P G] = T
Se P G tautologia, ento I | I [P G] = T.
Para I[P G] = T I [P] = F e/ou I[G] = T
Assim, quando I[P] = T, necessariamente I[G] = T (P T). c.q.d.
4- Seja um conjunto de frmulas ( = {H
1
, H
2
, , H
N
}).
satisfatvel (H
1
H
2
H
N
) satisfatvel
Demonstrao:
Se satisfatvel, ento I | I[H
1
] = I[H
2
] = = I[H
N
] = T.
I | I[H
1
] = I[H
2
] = = I[H
N
] = T I | I[H
1
] = T e I[H
2
] = T e e I[H
N
] = T
Se I[H
1
] = T e I[H
2
] = T I[H
1
H
2
] = T
Se I[H
1
H
2
] = T e I[H
3
] = T I[H
1
H
2
H
3
] = T
e assim sucessivamente at que I [H
1
H
2
H
N
] = T.
Logo, (H
1
H
2
H
N
) satisfatvel c.q.d.
5 Mtodos de Validao de Frmulas
Os mtodos apresentados abaixo so utilizados para verificar a validade das frmulas
proposicionais. Alm disso, eles tambm podem ser empregados na demonstrao das demais
propriedades apresentadas no captulo anterior.
5.1 Tabela-Verdade
A tabela-verdade um mtodo de validao baseada na fora bruta. Isso ocorre, porque devemos
mapear todas as possveis combinaes dos smbolos/variveis proposicionais.
Assim, seja P uma frmula proposicional e o conjunto de variveis proposicionais existentes em
P ( = {X
1
, X
2
, , X
N
}). A tabela-verdade de P uma tabela com pelo menos N+1 colunas e
exatamente 2
N
linhas. As N primeiras colunas representam as variveis proposicionais, enquanto
a (N+1)-sima coluna representa a frmula P. Cada linha representa uma possvel combinao de
valores (T ou F) das variveis pertencentes a e o valor verdade de P resultante desta
combinao.
TABELA-VERDADE DOS CONECTIVOS
G H G H G H G H G H Q Q
F F F F T T F T
F T F T T F T F
T F F T F F
T T T T T T
CONSTRUO DA TABELA-VERDADE
Dependendo do tamanho da frmula proposicional, a construo direta da sua tabela-verdade no
uma tarefa trivial. Por isso, sugeri-se a sua construo progressiva, atravs da representao,
em colunas auxiliares, das subfrmulas da frmula trabalhada. Tal artifcio, apesar de aumentar o
nmero de colunas, facilita o raciocnio para o preenchimento das linhas.
Exerccio: Construa a tabela-verdade da frmula P = (X Y) (X Z).
Soluo:
X Y Z X (X Y) (X Z) P
F F F T F F F
F F T T F T T
F T F T F F F
F T T T F T T
T F F F F F F
T F T F F F F
T T F F T F T
T T T F T F T

Exerccio de Fixao
Construa a tabela-verdade das frmulas:
a) (P Q) (Q P)
b) (P R) (P Q) (Q R)
c) (P Q) (P Q)
TABELA-VERDADE X PROPRIEDADES SEMNTICAS
1- Uma frmula uma tautologia se a ltima coluna de sua tabela-verdade contm somente
valores T ou 1.
2- Uma frmula uma contradio se a ltima coluna de sua tabela-verdade contm somente
valores F ou 0 (zero).
3- Uma frmula factvel se a ltima coluna de sua tabela-verdade contm pelo menos um valor
T ou 1.
4- Duas frmulas so equivalentes semanticamente quando, para cada linha da tabela-verdade,
suas colunas apresentam o mesmo valor.
5- Uma frmula G implica semanticamente na frmula H se, para toda linha cujo valor da coluna
de G verdadeiro, o valor da coluna de H tambm verdadeiro.
Exerccio de Fixao
Determine, utilizando a tabela-verdade, se as frmulas abaixo so tautologia, contradio ou
factveis; ou, ainda, se a equivalncia e implicao semntica so vlidas:
a) E (G H) (E G) (E H)
b) ((P Q) R) (Q (R P))
c) ((P R) Q) ((P R) Q)
d) (Q P) (E R) ((Q E) (P E)) ((Q R) (P R))
e) (P (Q Q)) P (P Q)
5.2 rvore Semntica
Este mtodo determina a validade de uma frmula a partir de uma estrutura denominada rvore.
Uma rvore um conjunto de ns (vrtices) ligados por arestas. Os ns finais so chamados
folhas, o n inicial denominado raiz, enquanto os demais ns so intermedirios.
Exemplo de rvore:

Ns Folhas
N Raiz

Durante a validao, as arestas que ligam o n raiz aos outros ns recebem um rtulo, indicando
os possveis valores de uma determinada varivel proposicional, escolhida aleatoriamente. Se a
partir de uma interpretao for possvel obter o valor da frmula, este associado ao n folha
correspondente. Caso no seja possvel tal aferio, cria-se mais duas arestas, aumentando a
ramificao da rvore. Para a rotulao dessas arestas, escolhemos uma outra varivel
proposicional. Este processo repetido at que todos os ns folhas tenham valores associados
frmula.
Exerccio: Demonstre, atravs de rvores semnticas, a validade de H = (P Q) (Q P).
Soluo:

I[P] = T (P Q) (Q P)
T ? ? FT
(P Q) (Q P) I[P] = F
F T T T TF

I[Q] = T (P Q) (Q P)
(P Q) (Q P) I[Q] = F
T
T
T
T T T T FT T FT
T F F T TF T TF

Como em todos os ns folhas I[H] = T, ento a frmula H vlida. c.q.d.
Exerccio de Fixao
Construa a rvore semntica das frmulas:
a) (P Q) (Q P)
b) (P R) (P R) (R P)
c) X > 10 X
2
= Y X
2
Y X 10
RVORE SEMNTICA X PROPRIEDADES SEMNTICAS
1- Uma frmula uma tautologia se s tm valores T ou 1 em seus ns folhas.
2- Uma frmula uma contradio se s tm valores F ou 0 (zero) em seus ns folhas.
3- Uma frmula factvel se pelo menos um n folha com valor T ou 1.
4- Duas frmulas G e H so equivalentes semanticamente, se a rvore semntica
correspondente frmula G H for uma tautologia.
5- Uma frmula G implica semanticamente na frmula H, se a rvore semntica correspondente
frmula G H for uma tautologia.
5.3 Mtodo da Negao ou Absurdo
O mtodo da negao ou absurdo um mtodo geral de demonstrao. Ele consiste em negar a
afirmao que se deseja provar e, a partir de um conjunto de dedues, concluir um fato
contraditrio ou absurdo (ex: I[P] = T e I[P] = F).
A aplicao deste mtodo recomendada nos casos onde a negao da afirmao nos leva a
casos determinsticos, ou seja, com uma nica possibilidade de interpretao para a frmula, pois
isto simplifica a demonstrao. Tal situao ocorre quando a negao acarreta a falsidade dos
conectivos e e a veracidade do conectivo .
Exerccio: Demonstrar, atravs do mtodo da negao, a validade da Lei de Transitividade do
conectivo : H = ((P Q) (Q R)) (P R)
Soluo: validade = tautologia. Logo, devemos provar que I | I[H] = T.
Supondo que H NO tautologia, ento I | I[H] = F.
I[((P Q) (Q R)) (P R)] = F I[((P Q) (Q R))] = T e I[(P R)] = F
Para I[(P R)] = F I[P] = T e I[R] = F
Para I[((P Q) (Q R))] = T I[P Q] = T e I[Q R] = T
Se I[P Q] = T I[P] = F e/ou I[Q] = T, mas como I[P] = T, logo:
Se I[Q R] = T I[Q] = F e/ou I[R] = T, mas como I[R] = F, logo:
I[Q] = T
I[Q] = F
ABSURDO: Q NO pode assumir dois valores (T e F) no mesmo instante.
Portanto, a suposio inicial est errada e H tautologia. c.q.d.

O objetivo deste mtodo deduzir uma contradio / absurdo a partir da negao da frmula em
prova. Entretanto, nem sempre isto ocorre. Nestes casos, NADA se pode concluir sobre a
veracidade da assero inicial. Alm disso, quando existem mais de uma possibilidade testada,
originada de clusulas e/ou, todas devem gerar uma contradio.
MTODO DA NEGAO OU ABSURDO X PROPRIEDADES SEMNTICAS
1- Uma frmula H uma tautologia se a suposio I | I[H] = F gerar contradio.
2- Uma frmula H uma contradio se a suposio I | I[H] = T gerar contradio.
3- Uma frmula H factvel quando ela no for tautologia, nem contradio. Neste caso, basta
apresentar duas interpretaes para H (I e J), onde I[H] = T e J[H] = F.
4- Duas frmulas G e H so equivalentes semanticamente, se for possvel provar que a frmula
G H for uma tautologia.
5- Uma frmula G implica semanticamente na frmula H, se for possvel provar que a frmula
G H for uma tautologia.
Exerccio de Fixao
Demonstre, utilizando os trs mtodos de validao estudados, que as frmulas a seguir so
tautologias:
a) ((H G) (G H)) (H H)
b) (H (G E)) ((H G) (H E))
c) (H G) (H (G))
d) ((R Q) (Q P)) (R P)
6 Princpio da Induo Finita
Apesar de no fazer parte da lgica, este princpio um dos principais mtodos utilizados na
demonstrao de resultados. Na cincia da computao, tal princpio usado para demonstrar
resultados em linguagens formais, teoria de algoritmos, teoria dos cdigos, etc.
6.1 Paradigma da Induo
Considere um conjunto de peas de domin enfileiradas e enumeradas. Elas esto dispostas de
modo que, se o domin 1 derrubado para direita, ento o subseqente (domin 2) tambm cai, e
assim sucessivamente.
Diante disto, surge a pergunta: O que suficiente para um domin N cair?
Resposta: que qualquer um dos domins que o antecede caia para direita, ou seja, existem (N-1)
condies suficientes.
Suponhamos que o domin 1 caia para direita, logo o domin N tambm cai. Agora surge outra
pergunta: Qual a condio necessria para que o domin 1 possa cair para direita?.
Resposta: que os domins subseqentes possam ser derrubados.
A partir deste cenrio, observamos que existem vrias condies suficientes para que todos os
domins sejam derrubados. Exemplo:
Se o domin 1 derrubado para direita, ento o domin N cai, ou simplesmente, D
1
D
N
.
Dentre eles, destacamos 2 conjuntos:
1 conjunto:
Condio bsica: O domin 1 derrubado para direita.
Condio indutiva: Seja N um n arbitrrio. Se o domin N derrubado para direita, ento
o domin N+1 tambm cai.
2 conjunto:
Condio bsica: O domin 1 derrubado para direita.
Condio indutiva: Seja N um n arbitrrio. Se todos os domins at N so derrubados
para direita, ento o domin N+1 tambm cai.
Note, que ambos tem a mesma condio bsica. Entretanto, a condio indutiva ligeiramente
modificada.
O princpio da induo finita possui 2 formas que correspondem a estes conjuntos. Neste curso
iremos abordar apenas a 1 forma.
6.2 1 Forma de Induo
Suponha que para cada N (N 1), seja dada a assero A(N). Para concluirmos que A(N)
verdadeira para todo inteiro N, deve ser possvel demonstrar as seguintes propriedades:
Base da Induo: A assero A(1) verdadeira.
Passo Indutivo: Dado um inteiro N (N 1), se A(N) verdadeira, ento A(N+1) tambm
verdadeira.
Exerccio: Demonstre, atravs do princpio da induo finita, que: dada a progresso aritmtica
a
i+1
= a
i
q, para q 1. A soma dos N primeiros termos desta progresso pode ser calculada por:
1
0
=
q
a q a
S
n
N

Soluo:
Base da Induo:
0
0 0 0
0
1
1
1
a
q
q a
q
a q a
S =
=
) (

Passo Indutivo: Assumindo
1
0
=
q
a q a
S
I
I
como verdade, ento:

1 1 1 1
0 1
1
0 0 1
1
0 1
1
= +
= +
=
+
+
+
+
+
+
q
a q a
a
q
a q a
q
a q a
a S
q
a q a
S
I
I
I I
I I
I
I

Como a
I+1
= a
I
q, podemos reescrever a expresso como:

= +
+ + + + +
+
+
1 1 1 1
0 1 1 1 0 1 0 1
1
0 1
q
a q a
q
a q a a a
q
a q a
a
q
a a
I I I I I
I
I

1 1
0 1 0 1
+ +
q
a q a
q
a q a
I I
c.q.d.
Exerccio de Fixao
Demonstre, utilizando o princpio da induo finita, que:
a) X N | (1+2++X) =
2
2
X X +

b) X N | X 5 2
X
> X
2

c) X N | 3 divide X
3
-X
d) X N | 2
0
+ 2
1
+ 2
2
++2
x
= 2
x+1
- 1
7 Relaes Semnticas entre os Conectivos
7.1 Conectivos Completos
Um conjunto de conectivos proposicionais completo se e somente se, possvel expressar,
equivalentemente, os conectivos , , , e utilizando apenas os conectivos de .
Este conceito muito utilizado em cincia da computao e lgica, como por exemplo, para
simplificar os conectivos empregados em um projeto de circuitos lgicos.
Ex: Demonstre que = {, } um conjunto completo.
Soluo: dada uma frmula H, do tipo (P), (P Q), (P Q), (P Q) ou (P Q). Podemos
gerar uma frmula G, equivalente a H e s contenha conectivos de .
Para H = (P) ou (P Q), temos G = H, pois os {,} .
Para H = (P Q), temos G = (P Q), pela aplicao da Lei de Morgan.
Para H = (P Q), temos G = (P Q), pela aplicao da propriedade de substituio do .
Para H = (P Q), temos G = ((P Q) (Q P)), pela seqncia explicada abaixo:
(P Q) (P Q) (Q P), pela aplicao da propriedade de substituio do
(P Q) (Q P), pela aplicao da propriedade de substituio do
((P Q) (Q P)), pela aplicao da Lei de Morgan.
Logo, = {, } um conjunto completo c.q.d.
OBS: A demonstrao que G equivale a H, atravs de tabela-verdade, fica como exerccio.
7.2 Formas Normais
As frmulas da lgica proposicional podem ser expressas utilizando vrios conjuntos de
conectivos completos. Alm disso, tambm podemos represent-las atravs de estruturas pr-
definidas, denominadas formas normais. So elas:
Forma Normal Disjuntiva (FND): se a frmula uma disjuno de conjunes de literais
(smbolos proposicionais ou suas negaes).
Forma Normal Conjuntiva (FNC): se a frmula uma conjuno de disjunes de literais.
Ex: H = (P Q) (R Q P) (P S) FND
G = (P Q) (R Q P) (P S) FNC
OBTENO DAS FORMAS NORMAIS
Considere a frmula: H = (P Q) R. Podemos escrever H
1
e H
2
, de modo que H
1
seja H na
FND e H
2
seja H na FNC, com segue:
1 Passo: Construo da tabela-verdade de H.
P Q R H Linha
F F F F 1
F F T T 2
F T F F 3
F T T T 4
T F F F 5
T F T F 6
T T F F 7
T T T T 8
2 Passo: Gerao de H
1
(FND).
- Extrair as linhas da tabela-verdade onde I[H] = T. Para cada linha N, gerar uma frmula Y
N
,
formada apenas pela conjuno de literais, de modo que I[Y
N
] = T, como apresentado abaixo:
2 linha: I[P] = F, I[Q] = F, I[R] = T Y
2
= (P Q R).
4 linha: I[P] = F, I[Q] = T, I[R] = T Y
2
= (P Q R).
8 linha: I[P] = T, I[Q] = T, I[R] = T Y
2
= (P Q R).
- Gerar H
1
a partir da disjuno das frmulas geradas no item anterior.
H
1
= (P Q R) (P Q R) (P Q R)
3 Passo: Gerao de H
2
(FNC).
- Extrair as linhas da tabela-verdade onde I[H] = F. Para cada linha N, gerar uma frmula X
N
,
formada apenas pela disjuno de literais, de modo que I[X
N
] = T, como apresentado abaixo:
1 linha: I[P] = F, I[Q] = F, I[R] = F X
1
= (P Q R).
3 linha: I[P] = F, I[Q] = T, I[R] = F X
3
= (P Q R).
5 linha: I[P] = T, I[Q] = F, I[R] = F X
5
= (P Q R).
6 linha: I[P] = T, I[Q] = F, I[R] = T X
6
= (P Q R).
7 linha: I[P] = T, I[Q] = T, I[R] = F X
7
= (P Q R).
- Gerar H
2
a partir da conjuno das frmulas geradas no item anterior.
H
2
= (P Q R) (P Q R) (P Q R) (P Q R) (P Q R)
Exerccio de Fixao
Dada a frmula H = ((P Q) (Q R)) (R P).
a) Construa a frmula equivalente utilizando apenas os conectivos do conjunto = {, }.
b) Gere as frmulas equivalentes na FND e FNC.
8 Deduo de Teoremas
O processo de prova por deduo consiste em demonstrar que, dadas algumas expresses como
verdadeiras (hipteses ou premissas), uma nova sentena tambm verdadeira. Quando isso
ocorre, dizemos que a sentena provada um teorema com respeito s hipteses.
A prova de um teorema consiste em derivar a expresso desejada H a partir das hipteses ,
utilizando os recursos disponveis em algum dos sistemas de deduo vlidos ( | H).
Definio (sistemas de deduo): tambm denominados sistemas formais, so completos (se
H, ento | H) e corretos (se | H, ento H) e estabelecem estruturas que permitem a
representao e deduo do conhecimento.
TIPOS DE SISTEMAS DE DEDUO
Os sistemas de deduo podem ser divididos em 2 grupos, como segue:
Sistemas de difcil implementao computacional:
Sistema Axiomtico
Deduo Natural
Sistemas mais adequados para implementao computacional:
o Tableaux Semnticos
o Resoluo
Neste curso, apresentaremos o sistema axiomtico e a resoluo.
8.1 Sistema Axiomtico
O sistema axiomtico uma estrutura para representao e deduo do conhecimento baseado
em axiomas. Ele definido pela composio de 4 elementos:
Alfabeto da lgica proposicional;
Conjunto de frmulas proposicionais (Hipteses)
Subconjunto de frmulas, denominados axiomas; e
Conjunto de regras de inferncia.
HIPTESES
As hipteses ou premissas so frmulas proposicionais tidas (assumidas) como verdadeiras.
Assim, caso se descubra que uma das hipteses pode ser falsa, toda prova feita a partir desta
hiptese perde sua validade.
AXIOMAS
Os axiomas representam o conhecimento dado a priori. No caso do sistema axiomtico, este
conhecimento representado por tautologias.
O conjunto de frmulas axiomticas pode variar entre os sistemas axiomticos. Porm,
independente do conjunto adotado, o mesmo deve assegurar o sistema axiomtico seja completo
e correto.
Neste curso, adotaremos um sistema cujos axiomas so determinados pelos esquemas:
Ax1 = (H H) H (H H) H
Ax2 = H (G H) H (G H)
Ax3 = ((H G)) (((E H)) (G E)) (H G) ((E H) (G E))
sendo, H, G e E quaisquer frmulas proposicionais.
REGRAS DE INFERNCIA
As regras de inferncia so implicaes semnticas. Elas so utilizadas para fazer inferncias, ou
seja, executar os passos de uma demonstrao ou deduo.
Assim como os axiomas, o conjunto de regras de inferncia adotado em um sistema axiomtico
pode variar, desde que mantenham as propriedades de completude e correo. Quanto menor o
conjunto de regras de inferncia, mais elegante o sistema axiomtico.
Abaixo sero listadas algumas regras de inferncia que podem ser utilizadas em um sistema
axiomtico:
Adio:
Q P
Q
Q P
P

Conjuno:
Q
Q P
P
Q P

Simplificao Disjuntiva:
P
Q P Q P ) ( ) (

Absoro:
) ( Q P P
Q P

Modus Ponens:
Q
Q P P ) (

Modus Tollens:
P
Q P Q
) (

Silogismo Hipottico:
R P
R Q Q P
) ( ) (

Silogismo Disjuntivo:
P
Q Q P
Q
P Q P ) ( ) (

Dilema Construtivo:
)) ( ) ((
) ( ) (
)) ( ) ((
) ( ) (
G Q R P
G R Q P
G Q R P
G R Q P

Dilema Destrutivo:
)) ( ) ((
) ( ) (
)) ( ) ((
) ( ) (
R P G Q
G R Q P
R P G Q
G R Q P

Absurdo:
P
Q P

OBS: A maioria dos sistemas axiomticos costuma utilizar apenas o Modus Ponens (MP) como
regra de inferncia.
PROVA EM UM SISTEMA AXIOMTICO
Uma prova ou demonstrao atravs do sistema axiomtico consiste em apresentar a seqncia
de passos necessrios para derivar a frmula desejada a partir das hipteses. Cada passo pode
ser a gerao de um axioma ou a aplicao de uma regra de inferncia.
Proposio: dado um teorema com as hipteses H
1
, H
2
, , H
N
e a frmula a ser provada C. Ele
verdadeiro sempre que:
C
H H H
N
K
2 1
ou H
1
H
2
H
N
C = T
Exerccio 1: Prove P (S G) atravs de um sistema axiomtico que utiliza todas as regras de
inferncia apresentadas acima e com o seguinte conjunto de hipteses:
P (Q R)
Q S
R G
Soluo:
- considerando as hipteses:
P (Q R) (1)
Q S (2)
R G (3)
- Aplicando o dilema construtivo entre (2) e (3), temos:
(Q R) (S G) (4)
- Aplicando o silogismo hipottico entre (1) e (4), temos:
P (S G) c.q.d
Exerccio 2: A partir das hipteses abaixo e utilizando apenas o Modus Ponens (MP) como regra
de inferncia, prove que (S P).
(P R) P
Q P
4

P
1
Q
(P
1
P
2
) Q
(P
3
R) R
P
4
P
P
1

P
3
P
P
2

Soluo:
Gerar um axioma que possua S (pois esta varivel no existe no conjunto de hipteses) e que
esteja mais prximo possvel da frmula a ser provada:
- Usando Ax2 com H = P e G = S, temos:
P (S P) (1)
Derivar a frmula desejada. Para isso, preciso isolar P (necessrio para aplicar MP em (1)):
- Considerando as hipteses:
(P R) P (2)
Q P
4
(3)
P
1
Q (4)
(P
1
P
2
) Q (5)
(P
3
R) R (6)
P
4
P (7)
P
1
(8)
P
3
P (9)
P
2
(10)
- Aplicando MP entre (8) e (4), temos:
Q (11)
P
4
(12)
P (13)
S P c.q.d.
PROVA POR ABSURDO
Neste tipo de prova, nega-se a frmula que se deseja provar, a inclui no conjunto de hipteses e
aplica as regras de inferncia at se obter um absurdo.
Exerccio: A partir das hipteses abaixo e utilizando apenas o Modus Ponens (MP) como regra de
inferncia, prove P.
S P
R P
S
Soluo:
S P (1)
R P (2)
S (3)
P (4) Negao do teorema
- Aplicando a equivalncia (G H H G) em (1), temos:
P S (5)
S (6)
Como (6) contradiz (3), conclui-se que a suposio inicial (P) falsa. Logo | P c.q.d.
OBS: Como j visto, nada pode ser concludo se o absurdo no for encontrado.
DERIVAO SEM HIPTESES
Alm das provas onde uma frmula G derivada a partir de um conjunto de hipteses ( | G),
existem casos onde o sistema axiomtico no possui hipteses ( vazio) e a frmula desejada
derivada somente a partir dos axiomas, denotamos: | G.
Ex: Utilizando um sistema axiomtico sem hipteses e apenas com Modus Ponens como regra de
inferncia, prove (P P).
- Para gerar uma sentena que contenha a frmula a ser derivada, utilizamos o Ax3 com
H = (P P), E = P e G = P, temos:
((P P) P) ((P (P P)) (P P)) (1)
- Note que a parte antecedente de (1) pode ser gerada a partir de Ax1 para H = P:
(P P) P (2)
((P (P P)) (P P)) (3)
- A parte antecedente de (3) pode ser gerada a partir de Ax2 para H = P e G = P:
P (P P) (4)
(P P) c.q.d.
Exerccio de Fixao
Prove os teoremas abaixo, atravs do sistema axiomtico:
a) Hipteses: hoje no domingo ou Manuel est feliz.
Se Manuel est feliz, ele amoroso.
Maria est feliz ou Manuel no amoroso.
Hoje domingo.
Regra de Inferncia: Modus Ponens
Teorema: Maria est feliz.
b) Hipteses: P (Q R)
S Q
P
G S
P G
Regra de Inferncia: Modus Ponens
Teorema: R
c) Hipteses: P (Q R)
Q S
R S
Regra de Inferncia: Livre escolha (descrever na soluo o conjunto escolhido)
Teorema: P S
8.2 Resoluo
Ao contrrio do sistema axiomtico, no mtodo de resoluo no se tem axiomas. Portanto, este
mtodo definido pela composio dos seguintes elementos:
Alfabeto da lgica proposicional;
Conjunto de clusulas, geradas a partir de frmulas proposicionais (Hipteses)
Regra de inferncia.
A resoluo um mtodo de prova aplicado sobre frmulas que esto na forma de conjunes de
disjunes, conhecida como forma normal conjuntiva (FNC).
Ex: H = (P Q R) (R Q) (P R P)
Cada frmula , ento, representada na forma de conjunto de clusulas (FCC). Nesta notao,
cada disjuno um subconjunto (clusula), onde o conectivo ou trocado por uma vrgula. Alm
disso, as vrgulas entre os subconjuntos representam a conjuno (conectivo e) das disjunes.
Ex: H = {{P, Q, R}, {R, Q}, {P, R}}
Note que no exemplo acima, {P, R} representa (P R P). Isto ocorre, pois no se
representa duplicidade na notao de conjuntos (FCC).
REGRA DE INFERNCIA
O mecanismo de inferncia da resoluo utiliza apenas uma regra, denominada regra de
resoluo, como segue:
Resoluo:
) (
) ( ) (
R Q
R P Q P

Ex: Considere as frmulas:
Original FNC FCC
H
1
= P Q P Q {P, Q}
H
2
= P R P R {P, R}
Res(H
1
,H
2
) = Q R Q R {Q, R}
MTODOS DE PROVA POR RESOLUO
Na resoluo, assim como no sistema axiomtico, podemos provar os teoremas de forma direta
ou por refutao.
Resoluo Direta: aps converter as frmulas proposicionais para a forma de conjunto de
clusulas (FCC), aplica-se repetidamente a regra de resoluo sobre as hipteses at se
obter a frmula desejada.
Ex: Prove por resoluo direta o teorema abaixo:
Hipteses: A B
A C
B
Teorema: C
Soluo:
A B {A, B} (1)
A C (2)
B {B} (3)
- Aplicando a propriedade de substituio do em (2), temos:
(A C) {A, C} (4)
- Aplicando a regra de resoluo entre (1) e (4), temos:
(B C) {B, C} (5)
C {C} c.q.d.
Resoluo por Refutao: neste mtodo utiliza-se a prova por absurdo. Para isto, nega-
se a frmula desejada e acrescenta a nova frmula no conjunto de hipteses. Ento, aps
convert-las para o FCC, aplica-se repetidamente a regra de resoluo at se obter uma
clusula vazia, gerada a partir de uma contradio do tipo P e P.
Ex: Prove o teorema do exemplo anterior, atravs da resoluo por refutao:
Soluo:
- Negando o teorema, temos:
C {C} (1)
A B {A, B} (2)
A C (A C) {A, C} (3)
B {B} (4)
(B C) {B, C} (5)
C {C} (6)
{ } c.q.d.
OBS: O mtodo de resoluo por refutao tambm pode ser utilizado para provar a validade de
frmulas proposicionais a partir de um conjunto de hipteses vazio.
Ex: Dada H = (P Q R) (P G) (Q G) (R G) G. Prove H.
Soluo:
- Negando H, temos:
( (P Q R) (P G) (Q G) (R G) G) (1)
- Aplicando a propriedade de substituio do em (1), temos:
( ((P Q R) (P G) (Q G) (R G)) G) (2)
- Aplicando a Lei de Morgan em (2), temos:
((P Q R) (P G) (Q G) (R G)) ( G) (3)
- Representando (3) na FCC, temos:
{{P, Q, R}, {P, G}, {Q, G}, {R, G}, { G}} (4)
- Rotulando as clusulas de (4):
{P, Q, R} (4.1)
{P, G} (4.2)
{Q, G} (4.3)
{R, G} (4.4)
{ G} (4.5)
- Aplicando a regra de resoluo entre (4.1) e (4.2), temos:
{Q, R, G} (5)
- Aplicando a regra de resoluo entre (4.3) e (5), temos:
{R, G} (6)
{G} (7)
{ }
Logo, H vlida. c.q.d.
OBS: Quando no se consegue chegar ao conjunto de clusulas vazio pela prova por refutao,
assim como nos casos anteriores, nada se pode concluir sobre o teorema.
Exerccios de Fixao
1- Prove os teoremas abaixo, atravs do mtodo de resoluo:
a) Hipteses: hoje no domingo ou Manuel est feliz.
Se Manuel est feliz, ento ele amoroso.
Maria est feliz ou Manuel no amoroso.
Hoje domingo.
Teorema: Maria est feliz.
b) Hipteses: P (Q R)
S Q
P
G S
P G
Teorema: R
c) Hipteses: P (Q R)
Q S
R S
Teorema: P S
2- Atravs da prova por refutao, mostre que a frmula H = (P Q) ((P Q) Q) vlida.

Apostila LogicaProposicional

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Apostila LogicaProposicional

Enviado por

Direitos autorais:

Formatos disponíveis

UFU Universidade Federal de Uberlndia

(lgica de ordem ). Cada

. Elas so equivalentes, semanticamente, se e somente se I | I [H] = I [G].

. Demonstre, com o auxlio das equivalncias clssicas, que as

. H implica em G, se e somente se I, quando I[H] = T, I[G] = T.

Você também pode gostar