Árvores de Refutação ou Tablôs Semânticos é um método indireto utilizado para verificar a validade ou invalidade de determinado argumento, ou deter...

Árvores de Refutação ou Tablôs Semânticos é um método indireto utilizado para verificar a validade ou invalidade de determinado argumento, ou determinar se alguma fórmula é consequência lógica, ou não, de algum conjunto de fórmulas. Além disso, tal método precisa respeitar algumas regras derivadas das implicações tautológicas. A esse respeito, analise quadro a seguir:

MORTARI, C.A. Introdução à Lógica. São Paulo: Editora UNESP: Imprensa Oficial do Estado, 2001 (adaptado).

p q p q (p V q) p p p p q q q q

(a)

(b)

(c)

Assinale a alternativa que corresponde às árvores de refutação (a), (b), (c), de acordo com as regras do Tablôs


a. RBD: RNDJ.
b. RNCJ. RCJ : RCD.