Question

Na lógica proposicional, há um sistema de inferência de provas de argumentos denominado "dedução natural". Esse sistema é baseado em regras primitivas e em algumas outras regras deduzidas ou derivadas.

Dados os argumentos a seguir, identifique quais regras ou princípios estão associadas a eles, respectivamente:

I. Ou ele é ou não é advogado.

II. Se chover, saio de casa. Não saí de casa. Não choveu.

III. Não é verdade que a bola é redonda e a bola não é redonda.

Selecione a resposta correta
A
MT, LTE, não contradição.

B
LTE, não contradição, LTE.

C
LTE, MT, não contradição.

D
MT, não contradição, LTE.

E
Não contradição, MT, LTE.

Answer 1

Resposta:

hello my name is fiqra Mustafa Al-harie class 5A what your name

Answer 2

Resposta:

(C)

Explicação:

LTE, MT, não contradição.