Teste de Avaliacao 1 DB considera as proposigées: a Pp: °O Tiago pratica voleibol.” 4: °O Tiago pratica surf.” '§: “O Tiago nao pratica tenis.” 4.1. Qual das seguintes expressées ¢ a tradugdo simbdlica da proposic&o: “Se 0 Tiago no pratica surf , entéo Tiago pratica ténis ou pratica voleibol’. (A) qa (pv~s) (B) ~q=(~s ap) (©) (~svp)>~¢ (0) ~q>(~s vp) 4.2, Sabendo que a proposicéio. ~(p—=g)» (sv ~p) ¢ verdadeira, pode afirmar-se que’ (A) © Tiago pratica voleibol, néo pratica surf e no pratica tenis. (B) © Tiago pratica voleibol e ténis mas no pratica surf. (C) 0 Tiago nao pratica voleibol, nem ténis nem surf. (D) 0 Tiago pratica voleibol e surf mas nao pratica tenis. © considera a seguinte tabela de verdade: v v v v F F F v v F F v A proposicao p é equivalente a: (A)av~b (B)~anbd ()b=a (0) ~avb ED consideraem = as condigées: P(x): 20-3x2=47 5 g(x):|x}<4ax745<0 Das seguintes proposigdes indica a que é verdadeira. (A) axen: p(x) (8) vxeR, ~9(x) (©) vxeR’, p(x) (0) xeR: g(x)Teste de Avaliacao 1 @B sejam a, b, c e d proposicdes elementares. 4.1, Admite que a e b sdo proposigbes verdadeiras ¢ c ed sao proposicses falsas. Indica o valor logico de: a) ~(ave)>~(bac) b) ~(~a)>~[(end) v (and)] 4.2, Mostra que @ «[(a=>b) » (b=>~a)] 6 uma contradicéo por cada um dos seguintes processos: 2) Completando a seguinte tabela de verdade: alalr]=>~4 5.1, Mostra que a proposigéo dada ¢ equivalente a ~qv(pa~r) - 5.2. Determina 0 valor légico da proposicéio dada, sabendo que a proposi¢éio q tem valor légico falso. © considera os conjuntos: 13} © Ca{xeR: x°-28-0} Az=(xeR: -S -3x227 & xs-9 [xf <40x7+5<0 > ge 4x? <5 . Condigéo impossivel em R . Se q(x) éimpossivelem j , entéo ~g(x) éuniversalem Assim, vxeIR, ~q(x) @verdadeira. Opeao: (5) © 44.2) -(ave)s~(bac) Se a eb séo proposigées verdadeiras e ce d sdo falses, entéo: ave éverdadeira, ou seja, ~(avc) ¢ falsa. Naimplicagéo ~(ave)=~(b Ac) tem-se 0 antecedente falso, pelo que a implicagéo é verdadeira Valor \égico: verdadeiro. b) ~(~a)>~[(end)v(and)] a=~[(cad)v(anb)] Se ae b sto verdadeiras, ab éverdadeira. Entéo (cd) v(anb) & verdadeira e ~[(¢ .d)v(anb)] ¢ alsa. Como a é verdadeira, a implicacao a=~[[erd)v(anb)] € alsa, pois 0 antecedente ¢ verdadeiro e 0 consequente ¢ falso Valor légico: falsoProposta de Resolucdo A proposicao € sempre falsa, logo, € uma contradicao. b) an[(a@=b)a(b=~a)| > an(~avbja(~bv~a) & [[a@a~a)v (aa by] a (~bv~a) & (and)a(~bv~a) & F (an ba~b)v(anba~a) SF Conclui-se que a proposigao ¢ uma contradicao. Bs [(prg)=r]=-¢ ~[(prqg)>rlv~q @ [(prg)anrly~q & [(prqyv~g]a(-ry~q) & (py~q)a(qv~q)a(~rv~q) & (py~qg)a(~rv~q) Pondo ~q emevidéncia obtémse ~qv(pa~r). 5.2, Se q éfalsa, ~q €verdadelra. Entéo, a disjunco ~qu(p ~r) €verdadeira, independentemente do valor légico dep.» ~r. A proposicao é verdadeira, OB aatren: -5 x=5vx=-5. Entéo, C= 3xeC: xe A €uma proposicéo falsa, 6.4. Escreve a negac&o de cada uma das proposicdes referidas em 6.3. ~(¥xeD, xeB) S dxeZ : xeB ~(3xeC: xeA) > vxeC: xeA