Unidade 1

UNIDADE 1 – Introdução à Lógica

Atividade

Realize as atividades a seguir e envie para o seu tutor no Portfólio.

1) Considere “p” a proposição “João Luis é santista.” e “q” a proposição “Maria Paula é flamenguista.”. Traduza as proposições e combinações a seguir: a) ~p = João Luís não é santista. b) ~q = Maria Paula não é flamenguista. c) ~p ^ q = João Luís não é santista e Maria Paula é flamenguista. d) ~(p v ~q) = João Luís não é santista ou Maria Paula é flamenguista.

e) A -> ~b = Essas variáveis não foram citadas no exercício.

2) Dadas as sentenças a seguir, construa as tabelas-verdade para cada uma. Preste atenção na precedência dos operadores e também na parentetização, quando houver.

a) ~(a ^ b) ->~(~(a ^ b)->(b -> ã))

|a |b |~(a ^ b) |a ^ b |~(~(a ^ b) |~a |b -> ~a |
|V |V |F |V |V |F |F |
|F |V |V |F |F |V |V |
|V |F |V |F |F |F |V |
|F |F |V |F |F |V |V |

|~(a ^ b) -> ~(~(a ^ b) |~(a ^ b) -> ~(~(a ^ b) -> (b -> ~a) |
|V |F |
|V |V |
|V |V |
|V |V