Blog

Lógica Computacional 2012 Logica proposicional F-vV=V F _ F _ -IV = F g) -IV F = V 4)Construir as tabelas-verdade para as seguintes proposicoes: a) p VV F F b) p VV F F c) p VV F F (p (—pncoqVFVF—pFFVV – -t q) FVVFB ( pAq)FFVFA. BVFVV to view Se/ p to n ext page (q ors v q) V VV FA ((p v q) p)VVFV FVFV(q d) pVVVVFFFFe)p p) pvvv A (pv—l r)VVVVFVFVA- (p v —Ir) qr (p A q) VVVVFFFFf)pVVVVFFFF5) a) VVFFVVFF VVFFVFVF VVVVFVFV F V F V F VFV (pv-n q)) M q)) qVVFFVVFFrVFVFVFVF R (P) VFVFFFVFVVVVVFFVV FFV -n q) FFVVFVVVVFFFFV (p v s) ((V A F)) (V v F) (F A F). V F-. V=V (pe. q) – (F-V)F – ( v A F) v F)

F) v ( F A V) (F v F) v ( V) Se sabemos que V F —F logo V —V -V Se então (p q) e são V e e são F b) c) d) e) f) g) h) 6) 7) a) PAGF3rl(FS e são V e y-z e y-t são F a- (x=O A x=y) z (V A v) V V —V=V b- (x v y=t) —y=z (F v F) —F F —F = V c- (x*y v y*z) (F v V) F V — d- (x*O v x*y) – (F – VF-V=V e- – V- V) V-V=V 7. 1) Está sem enunciado na lista. a- „VVFVVFVV q VVFV 10) a) FBF (p Aq) v p Não constitui em fbf(p-M1) A (q v r) Não constitui em fbf ((p v q) v (r A p)) (r v p) FBF (p A -MI) — (CFr) Não constitui em fbf r — A p) Não constitui em fbf p) pqpA—q