Portada del sitio > Lógica y Estructuras Discretas > Lógica > Fórmulas insatisfacibles y tautologías

Fórmulas insatisfacibles y tautologías

Lunes 3 de diciembre de 2012, por Francisco Ramos

Teniendo en cuenta los conceptos de fórmulas satisfacibles, insatisfacibles y tautologías, determine la verdad o falsedad de las afirmaciones siguientes:
a) Existe una interpretación que satisface (p\vee q)\wedge\neg(p\vee q)
b) (p\vee q)\wedge\neg(p\vee q) es una fórmula insatisfacible
c) \neg((p\vee q)\wedge\neg(p\vee q)) es una tautología
d) \neg((p\vee q)\wedge\neg(p\vee q))\vee r es una tautología

SOLUCIÓN

Son todas las afirmaciones ciertas excepto la a)

Comentar este artículo

SPIP | | Mapa del sitio | Seguir la vida del sitio RSS 2.0
Red Educativa Cibermatex