Lógica I 2022-1

Trabalho 2: Proposicional Consistência

Nomes: Grupo 5: Ana Angst, Lilian Lima, Matheus de Medeiros, Paula Cristiane da Silva, Ricardo
Fattore, Roberta Duran, Vinı́cius Hoff

1) Para cada uma das afirmações abaixo, indique se está correta ou incorreta. Justifique.
a) Uma fórmula é uma contradição se não tem modelo (sobre a noção modelo aplicada a fórmulas,
rever página 33 do material).
Correto - Uma valoração v é modelo de uma fórmula sss vpϕ “ V q, assim uma fórmula que não tem
modelo recebe F em toda valoração booleana e é uma contradição.

b) Se uma fórmula ϕ não é uma tautologia, então para alguma valoração booleana V, vr␣ϕs “ V .
Correto - Se uma fórmula ϕ não é uma tautologia, existe uma valoração tal que vrϕs “ F e a
valoração da negação dessa fórmula será vr␣ϕs “ V .

c) Um conjunto de fórmulas é inconsistente se alguma valoração booleana atribui F para pelo menos
uma de suas sentenças.
Incorreto - Um conjunto de fórmulas é inconsistente se e someente toda valoração booleana atribui
F para pelo menos uma de suas sentenças.

d) Se ϕ é contradição, então pϕ Ñ τ q é tautologia.

Correto - Se ϕ é contradição, então qualquer valoração V será vrϕs “ F e vrpϕ Ñ τ qs para vrτ s “ V
e para vrτ s “ F .

2) Para cada uma das fórmulas abaixo, indique se ela é uma tautologia, uma contradição ou nenhuma
das duas possibilidades. Justifique.
a) ppP ^ Qq Ñ ␣P q
P Q pP ^ Qq ␣P ppP ^ Qq Ñ ␣P q
V V V F F
V F F F V
F V F V V
F F F V V
A fórmula não é tautologia nem contradição, pois ela receve F na primeira valoração e V nas demais.

b) ppP _ ␣Qq Ø pQ Ñ P qq
P Q ␣Q ppP _ ␣Qq pQ Ñ P q ppP _ ␣Qq Ø pQ Ñ P qq
V V F V V V
V F V V V V
F V F F F V
F F V V V V
A fórmula é tautologia, pois recebe V em todas as valorações.

c) p␣pA _ Bq Ñ ␣Aq
A B ␣A pA _ Bq ␣pA _ Bq p␣pA _ Bq Ñ ␣Aq
V V F V F V
V F F V F V
F V V V F V
F F V F V V
A fórmula é tautologia, pois recebe V em todas as valorações.
3) Para cada um dos conjuntos abaixo, indique se é ou não consistente. Justifique.
a)Γ1 “ pP ^ ␣Qq, p␣Q Ñ Rq, ␣R
P Q R ␣Q ␣R pP ^ ␣Qq p␣Q Ñ Rq
V V V F F F V
V V F F V F V
V F V V F V V
V F F V V V F
F V V F F F V
F V F F V F V
F F V V F F V
F F F V V F F
O conjunto não é consistente, pois não existe nenhuma valoração modelo no conjunto.

a)Γ2 “ pP _ ␣Qq, p␣Q Ñ ␣Rq, R

P Q R ␣Q ␣R pP _ ␣Qq p␣Q Ñ ␣Rq
V V V F F V V
V V F F V V V
V F V V F V F
V F F V V V V
F V V F F F V
F V F F V F V
F F V V F V F
F F F V V V V
O conjunto é consistente, pois na primeira linha existe uma valoração modelo no conjunto.

5) Selecione uma das opções abaixo e, se for caso especifique:

a) Não tivemos dificuldade em nenhuma das questões.

b) Tivemos dificuldades nas seguintes questões, mas conseguimos resolver as dúvidas:

( ) entre nós, ( ) com o monitor e ( ) com as aulas sı́ncronas:

c) Não conseguimos fazer as seguintes questões: