UNIVERSIDADE REGIONAL DO CARIRI - URCA

UNIDADE DESCENTRALIZADA DE CAMPOS SALES – UDCS

CURSO DE LICENCIATURA PLENA EM MATEMÁTICA
DISCIPLINA: LÓGICA, CONJUNTO E FUNÇÕES/2018.1
PROFESSOR: CICEFRAN CARVALHO

ATIVIDADE DE LÓGICA

ALUNOS (A): ____________________________________________________________

________________________________________________________________________

OBSERVAÇÃO: A ATIVIDADE PODE SER FEITA EM DUPLA E

OBRIGATORIAMENTE VOCÊ DEVE PROVAR A RESPOSTA COM AS DEVIDAS
TABELAS VERDADES.

1. Construa a tabela verdade de cada uma das seguintes proposições, depois escreva se a forma
proposicional trata-se de uma tautologia ou uma contradição:

(p Ʌ ~q) Ʌ (~p V q)

(p Ʌ ~p) → (~p V ~q)

2. Na tabela-verdade abaixo, p e q são proposições:

p q ?
V V F
V F V
F V F
F F F
A proposição composta que substitui corretamente o ponto de interrogação é:
a) p Ʌ q;
b) p → q;
c) ~ (p → q);
d) p ↔ q;
e) ~ (p V q);

3. Construa a tabela verdade de cada uma das seguintes proposições:

a. ~p Ʌ q
b. ~p V ~q
c. p → ~q
d. (p ↔q) → (p V~q)

4. Para quaisquer proposições p e q, com valores lógicos quaisquer, a condicional

p→(q→p) será, sempre, uma tautologia?

5. Se P e Q são proposições lógicas simples, então a proposição composta S =

[P→Q]↔[Q∨(~P)] é uma tautologia, isto é, independentemente dos valores lógicos
V ou F atribuídos a P e Q, o valor lógico de S será sempre V.
6. Considerando que os símbolos ¬, ∧, ∨ e → representam negação, conjunção,
disjunção e Condicional, respectivamente, indique em qual conjunto de fórmulas
não é possível inferir contradição.

a) {A ∧ B, A → C, ¬C}
b) {¬(A ∧ B), ¬(¬A ∨ ¬B)}
c) {¬A ∨ B, A ∨ C, ¬B ∧ C}
d) {A ∨ ¬B, B ∧ C, ¬A ∧ C}
e) {¬A → ¬B ∧ B, A → ¬B ∧ B}