Lgica Matemtica, 2012-2, Unidade I, 1o.

AP, Recuperao
Marcelino Pequeno
1


1. a) Defina recursivamente as funes:

(i) Ns(o): Nmero de ns da rvore de decomposio da frmula o.
(i) Se o = P (Uma Letra Proposicional)
Ns(o) = 1
(ii) Ns((o |)) = Ns(o) + Ns(|) +1
(iii) Ns ((o)) = Ns(o) + 1

(ii) NCB(o): Nmero de conectivos binrios de o.
(i) Se o = P (Uma Letra Proposicional)
NCB(o) = 0
(ii) NCB((o |)) = NCB(o) + NCB(|) +1
(iii) NCB((o)) = NCB(o)

(iii) NCU(o): Nmero de conectivos unrios de o.
(i) Se o = P (Uma Letra Proposicional)
NCU(o) = 0
(ii) NCU((o |)) = NCU(o) + NCU(|)
(iii) NCU((o)) = NCU(o) +1

(iv) NL(o): Nmero de ocorrncias de letras proposicionais em .
(Valor 1,0)
(i) Se o = P (Uma Letra Proposicional)
NL(o) = 1
(ii) NL((o |)) = NL(o) + NL(|)
(iii) NL((o)) = NL(o)

b) Mostre que para toda frmula, o, Ns(o) = 2NCB(o) + NCU(o) +1.
(Valor 3,0)
(i) Se o = P (Uma Letra Proposicional)
Ns(o) = 1; NCB(o) = 0; NCU(o) = 0
(ii) Ns((o |)) = Ns(o) + Ns(|) +1
= 2NCB(o)+NCU(o)+1+2NCB(|)+NCU(|)+1+1 (H.I)
= 2NCB(o)+2NCB(|)+2 + NCU(o)+NCU(|) +1
= 2(NCB(o)+NCB(|)+1) + (NCU(o)+NCU(|)) +1
= 2NCB((o |)) + NCU((o |)) +1
(iii) Ns((o)) = Ns(o) + 1
= 2NCB(o)+NCU(o)+1 +1 (H.I)
= 2NCB((o))+NCU((o)) + 1

c) Utilize o resultado anterior para mostrar que se uma frmula no tem
negao, ento ela tem mais ns na rvore de decomposio do que
parnteses (abrindo e fechando); se tiver uma negao, este numero
igual e se tiver duas ou mais negaes, a frmula tem mais parnteses do
que ns na rvore.
(Valor 1,0)
Observe que o NP(o) = 2NCB(o) + NCU(o); onde NP(o) o nmero de
parnteses de uma frmula, o.
(i) o no tem negao
Ns(o) = 2NCB(o) + 1
NP(o) = 2NCB(o)
Logo, Ns(o) = NP(o) + 1.
(ii) o no tem uma negao
Ns(o) = 2NCB(o) + 1 + 1
NP(o) = 2NCB(o) + 2
Logo, Ns(o) = NP(o).
(i) o no tem pelo menos duas negaes
Ns(o) = 2NCB(o) + NCU(o) + 1
NP(o) = 2NCB(o) + 2NCU(o)
Logo, NP(o) = Ns(o) + NCU(o) - 1.
Como, NCU(o) > 2, ento, NP(o) > Ns(o).

2. Prove, por induo, que NL() = NC() +1; onde NC() o nmero de
conectivos (unrios e binrios) de . (Valor 1,5)
Na realidade o enunciado est errado, e podemos ter duas solues.
1) Corrigir o enunciado: NL() = NCB() +1.
2) Apresentar um contra-exemplo.
Aceitaremos as duas solues.

1) : NL() = NCB() +1
(i) Se o = P (uma letra proposicional)
NL(o) = 1 e NCB(o) = 0.
(ii) NL((o |)) = NL(o) + NL(|)
= NCB(o)+1+NCB(|)+1 (H.I)
= NCB((o |)) +1
(iii) NL((o)) = NL(o)
= NCB(o) + 1 (H.I)
= NCB((o)) + 1
2) Contra-exemplo.
o = ((P))
NL(o) = 1
NCB(o) + NCU(o) = 2.

3. A funo posto de uma frmula, o, o tamanho do maior ramo da rvore de
decomposio de o.

a) Mostre que se o posto de o k, ento o e Ck, onde Ci, i , so os
conjuntos da definio bottom-up do conjunto da frmulas. (Valor 3,5)

DADOS:

Definio recursiva da funo posto:
(i) p(Q) = 0; onde Q uma letra proposicional.
Lgica Matemtica, 2012-2, Unidade I, 1o. AP, Recuperao
Marcelino Pequeno
3

(ii) p(( |)) = max{p(),p(|)} +1; onde {., v, , }.
(iii) p(()) = p() + 1.

Definio Bottom-up do conjunto das frmulas proposicionais.

C0 = LP
Ci+1 = Ci {( |), () | , | Ci}

=
=
0
*
i
i
C C

SOLUO:
(i) Se o = P (uma letra proposicional)
p(o) = 0 e o e C0
(ii) p((o |)) = max{p(),p(|)} +1
Suponha p(o) = k e p(|) = j e que k > j.
Assim, p((o |)) = k + 1.
Agora, pela H.I, o e Ck e | e Cj, mas como k > j, | e Ck.
Assim, (o |) e Ck+1.
(iii) p((o)) = p(o) +1
Suponha p(o) = k .
Pela H.I, o e Ck.
Assim, (o) e Ck+1.