REPASO 1 - MC

¿Una proposición es una frase que puede ser verdadera o falsa?

• VERDADERO

• FALSO

¿Cuál no es un conector lógico?

• Conjunción

• Inferencia

• Implicación condicional

• Disyunción

Las proposiciones moleculares solo pueden tener tres conectores lógicos.

• VERDADERO

• FALSO

Una implicación condicional es verdadera cuando el antecedente es verdadero y el consecuente es falso.

• VERDADERO

• FALSO

Dos formulas lógicas son logicamente equivalentes cuando su implicación bicondicional es una tautología

• VERDADERO

• FALSO

¿La simplificación de formulas lógicas es importante para reducir el costo de la implementación de circuitos lógicos?

• VERDADERO

• FALSO

La base de conocimiento es un conjunto de formulas en su forma normal disyuntiva.

• VERDADERO

• FALSO

Una formula es consecuencia lógica de otra cuando la implicación condicional es una tautología.

• VERDADERO

• FALSO

¿Cual no es ley de equivalencia?

• Doble negación

• Distributiva

• Asociativa

• Signos

¿Cual no es ley de implicación?

• Modus Ponendo Ponens

• Modus Tollendo Tollens

• Modus Ponendo Tollens

• Modus Tollendo Ponens