Segundo Gersting (2017), uma proposição composta por outras proposições é uma fórmula bem-formada (fbf), ou WFF (Well-Formed Formula) define uma se...

Segundo Gersting (2017), uma proposição composta por outras proposições é uma fórmula bem-formada (fbf), ou WFF (Well-Formed Formula) define uma sentença lógica válida, ou seja, se todas as proposições ou conectores lógicos empregados também são fórmulas bem-formadas.

Considerando o contexto, analise as afirmativas.

I. A utilização do conector lógico disjunção exclusiva em duas proposições simples produz saída verdadeira quando as duas proposições forem verdadeiras.

II. Se p e q são fbf, então qualquer combinação de p e q com conectivos lógicos também é uma fbf.

III. A valoração do conectivo bicondicional será verdadeira se o valor lógicos das duas proposições forem verdadeiras.

Está correto o que se afirma em:


I, apenas.
III, apenas.
I e II, apenas.
I, II e III.
II, apenas.