Lgica Aplicada Computao Nome: Isadora Cardoso Pereira da Silva

Questo 1 (P Q) ^ (Q v R) ^ (R v W) ^ (R P) ^ (W Q) |= (Q ^ R) 1. a) Por equivalncia: (P Q) ^ (Q v R) ^ (R v W) ^ (R P) ^ (W Q) |= (Q ^ R) (P v Q) ^ (Q v R) ^ (R v W) ^ (R v P) ^ (W v Q) ^ (Q ^ R) (P v Q) ^ (Q v R) ^ (R v W) ^ (R v P) ^ (W v Q) ^ (Q v R) (Q v (P ^ R)) ^ (R v W) ^ (R ^ P) ^ (Q v (W ^ R)) (Q v (P ^ R)) ^ (R ^ P) ^ (R v W) ^ (Q v (W v R)) (Q v (P ^ R)) ^ (Q v (W v R)) ^ (R ^ P) ^ (R v W) ((Q v Q) ^ (Q v (W v R)) ^ (Q v (P ^ R)) ^ ((P ^ R) v (W v R)) ^ (R ^ P) ^ (R v W) (Verdade ^ (Q v (W v R)) ^ (Q v (P ^ R)) ^ ((P ^ R) v (W v R)) ^ (R ^ P) ^ (R v W) (Q v (W v R)) ^ (Q v (P ^ R)) ^ ((P ^ R) v (W v R)) ^ (R ^ P) ^ (R v W) (Q v (W v R)) ^ (Q v (P ^ R)) ^ ((R ^ P) ^ (R ^ P)) v ((R ^ P) ^ (W v R)) ^ (R v W) (Q v (W v R)) ^ (Q v (P ^ R)) ^ (Falso v ((R ^ P) ^ (W v R)) ^ (R v W) (Q v (W v R)) ^ (Q v (P ^ R)) ^ ((R ^ P) ^ (W v R)) ^ (R v W) (Q v (W v R)) ^ (Q v (P ^ R)) ^ (R ^ P) ^ ((W v R) ^ (R v W)) (Q v (W v R)) ^ (Q v (P ^ R)) ^ (R ^ P) ^ Falso Falso Conclumos que a negao da consequncia falsa.

1. b) Por Tableaux:

Conclumos que a negao insatisfatvel, logo, a negao da consequncia falsa. 1 .c) Por resoluo: a) (P Q) ^ (Q v R) ^ (R v W) ^ (R P) ^ (W Q) |= (Q ^ R) (P v Q) ^ (Q v R) ^ (R v W) ^ (R v P) ^ (W v Q) ^ (Q ^ R) (P v Q) ^ (Q v R) ^ (R v W) ^ (R v P) ^ (W v Q) ^ (Q v R) b) {{P, Q}, {Q, R}, {R, W}, {R, P}, {W, Q}, {Q, R}}

Questo 2 2. a) S1:

G Governo se recusa a aprovar um novo aumento T Greve terminar (em menos de um ano) T Greve durar mais de um ano A Alunos perdero o ano letivo G (T v (T ^ A)) S2: G Governo se recusa a aprovar um novo aumento T Greve terminou em menos de um ano A Alunos no perderam o ano letivo. G ^ T ^ A S3: T Greve durou mais de um ano. 2. b) (G (T v (T ^ A))) ^ G ^ T ^ A |= T (G v ((T v T) ^ (T v A)) ^ G ^ T ^ A ^ T (G v (Verdadeiro ^ (T v A)) ^ G ^ T ^ A ^ T (G v (T v A)) ^ G ^ T ^ A (G v T v A) ^ G ^ T ^ A {{G, T, A}, {G}, {T}, {A}} {G, T, A}, {G} {T, A}, {A} {T} (resolvendo com respeito a G) (resolvendo com respeito a A)

A negao satisfatvel, logo, a consequncia falsa.

Questo 3 3. a) A Alice eleita presidente B Betty eleita vice-presidente

C Carol eleita tesoureira (A (B v C)) |= B (A C)

3. b) (A (B v C)) |= B (A C) (A v B v C) ^ (B v (A v C) (A v B v C) ^ B ^ C ^ A {{A, B, C}, {B}, {C}, {A}} {A, B, C}, {A} {B, C} A negao satisfatvel, logo, a negao a consequncia verdadeira.