Professional Documents
Culture Documents
Lista 03
Lista 03
e a.
exercicio 2.10 Prove, usando tabela-verdade, que os seguintes conetivos podem ser expres
sos usando os conetivos ja estudados:
[a] Conetivo EXOR (abreviatura dos termos em inglés exclusive e or) cuja semantica é dada
pela tabela ilustrada na figura 2.15;
[b} Conetivo NAND (abreviatura dos termos em inglés not e and) cuja seméntica é dada pela
tabela ilustrada na figura 2.15.
x|y| xexory | xNANDy
viv] F
vir] ov v
Flv[ wv v
FlFl oF v
figura 2.15 _Tabela-verdade: EXOR e NAND.exercicio 2.11 Suponha o conjunto universo R.
[a] Determine o valor verdade (V ou F) de cada uma das seguintes proposicées:
a.l) 2.6) (¥x)07
a2) a?) (x)(2x
a3) a8) (x)(x2 + 3x = 2)
a4) (x)(x+2=%) a9) (ax)(x? + 5 = 2x)
a5) (Wx)(x + 1>x) 2.10) (Wx)(2x + 3x = 5x)
(Ib) Negue cada uma das proposicdes do item acima.
exercicio 2.13 Suponha o conjunto universo { 1, 2, 3, 4, 5, 6, 7, 8, 9 }. Apresente um
contraexemplo para cada uma das seguintes proposig6es:
(Wx)(x + 5 < 12)
[Bb] (¥x)(x é primo)
Le] (Wx)(x? > 1)
(¥x)(xé par)
exercicio 2.14 Suponha o conjunto universo { 2, 3, 4, 5, 6, 7, 8,9}.
[a] Determine o valor-verdade (V ou F) de cada uma das seguintes proposic6es:
al) (Wx\(Vy)(x + 5You might also like