Você está na página 1de 3

Introduo Lgica Matemtica

Captulo X

CAPTULO X
IMPLICAO LGICA
10.1- Definio de Implicao Lgica
Uma proposio implica logicamente outra quando, e somente quando, para cada
atribuio de valores verdade que torna uma proposio verdadeira, tambm tornam sua
implicao verdadeira. Ou seja, dadas duas proposies p e q, p implica q todas as vezes
que ambos os lados aparecerem V.
Segundo Edgard de Alencar (2002), uma proposio P (p, q, r, ...) implica uma
proposio Q (p, q, r, ...) todas as vezes que nas respectivas tabelas-verdade dessas duas
proposies no aparece V na ltima coluna de P (p, q, r, ...) e F na ltima coluna de Q
(p, q, r, ...), com V e F em uma mesma linha, isto , no ocorre P (p, q, r, ...) e Q (p, q,
r, ...) com valores simultneos respectivamente V e F.
O smbolo da implicao lgica representado por . Devemos lembrar que, o
smbolo de operao lgica e o smbolo de relao.
10.2- Propriedades da Implicao Lgica
As propriedades reflexiva (R) e transitiva (T) fazem parte de toda relao de
implicao lgica entre duas proposies:
(R) P (p, q, r, ...) P (p, q, r, ...)
(T) Se P (p, q, r, ...) Q (p, q, r, ...) e
Q (p, q, r, ...) R (p, q, r, ...), ento
P (p, q, r, ...) R (p, q, r, ...)
10.2.1- Regras de Inferncia
o processo pelo qual se chega a uma proposio, firmada na base de uma ou
outras mais proposies aceitas como ponto de partida do processo. O Argumento
chamado de premissa e o valor de concluso. As concluses so deduzidas a partir das
premissas. Caso o estado das premissas esteja vazio, ento a concluso dita ser o
axioma da lgica.

Prof Aline de Queiroz Ferreira

Introduo Lgica Matemtica

Captulo X

Uma propriedade desejvel de uma regra de inferncia que esta seja efetiva, isto
, existe um procedimento efetivo para determinar se uma dada frmula infervel de
um dado conjunto de frmulas (Wikipdia).
Tipos de Regras de Inferncia:
Adio disjuntiva (AD)

ppq

Simplificao conjuntiva (SIM)

p q p ou p q q

Modus Ponens (MP)

(pq)pq

Modus Tollens (MT)

(pq)~q~p

Silogismo Disjuntivo (SD)

(pq)~qp

Silogismo Hipottico (SH)

(pq)(qr)pr

Repare as proposies p q, p q e pq na tabela-verdade abaixo:


p

pq

pq

pq

Reparamos que p q verdadeira na primeira linha e as proposies p q e pq


tambm so verdadeiras na primeira linha. Por isso, podemos afirmar que: p q implica
tanto com p q, quanto com pq. Logo temos:
pq pq

p q pq

Nessa mesma tabela-verdade podemos observar duas das seis regras de inferncia
citadas no quadro acima:
1) Regra de adio disjuntiva pois a proposio p implica com a proposio
p q e a proposio q tambm implica com p q. Por isso temos:
p p q

q p q

2) Regra de simplificao conjuntiva pois a proposio p q implica com as


proposies p e q. Por isso temos:

Prof Aline de Queiroz Ferreira

Introduo Lgica Matemtica

Captulo X

pq p

pq q

10.3- Tautologias e Implicao Lgica


Quando uma condicional tautolgica, ento no ocorre que os valores lgicos
simultneos das proposies P(p, q, r,...) e Q(p, q, r,...) sejam respectivamente V e F, e
por conseguinte a primeira proposio implica a segunda. Exemplo:
p

~p

p~p

p~pq

A proposio p ~ p q tautolgica, portanto existe implicao lgica:


p~pq
Logo, afirmamos que, de uma contradio p ~ p se deduz qualquer proposio q
(Princpio da inconsistncia).

EXERCCIO:
1- Utilizando tabelas-verdade, verifique se existem as relaes de implicao
lgica seguintes:
a) p q q p
b) ~ (p q) ~ p ~q
c) p q r ~ q r ~ p
d) ~ p (~ q p) ~ (p ~ q)

Prof Aline de Queiroz Ferreira