https://www.glc.us.es/~jalonso/LMF2015/index.php?action=history&feed=atom&title=Relaci%C3%B3n_10 2026-07-19T01:43:05Z Historial de revisiones para esta página en el wiki MediaWiki 1.31.14 https://www.glc.us.es/~jalonso/LMF2015/index.php?title=Relaci%C3%B3n_10&diff=267&oldid=prev 2015-04-17T08:43:31Z

<p>Página creada con &#039;=== Relación 10: Cuestiones === ---- &#039;&#039;&#039;Ejercicio 1.&#039;&#039;&#039; Demostrar o refutar la siguiente afirmación: * Sean G₁ una forma normal disyuntiva de F₁ y G₂ una forma normal...&#039;</p> <p><b>Página nueva</b></p><div>=== Relación 10: Cuestiones ===<br /> <br /> ----<br /> &#039;&#039;&#039;Ejercicio 1.&#039;&#039;&#039; Demostrar o refutar la siguiente afirmación:<br /> <br /> * Sean G₁ una forma normal disyuntiva de F₁ y G₂ una forma normal disyuntiva de F₂. Si F₁ y F₂ son equivalentes, entonces G₁ y G₂ son fórmulas iguales.<br /> * Para toda fórmula F se tiene que si G₁ es una forma normal conjuntiva de F y G₂ es una forma normal normal disyuntiva de F, entonces G₁ y G₂ son fórmulas distintas.<br /> ----<br /> <br /> &#039;&#039;&#039;Solución:&#039;&#039;&#039;<br /> <br /> ----<br /> &#039;&#039;&#039;Ejercicio 2.&#039;&#039;&#039; Demostrar o refutar la siguientes afirmaciones:<br /> <br /> * Existen cláusulas C₁, C₂ y D tales que D es una resolvente de C₁ y C₂, D ⊂ C₁ y D ≠ C₁.<br /> * Existen cláusulas C₁, C₂ y D tales que D es una resolvente de C₁ y C₂ y D = C₁.<br /> * Existen cláusulas C₁, C₂ y D tales que D es una resolvente de C₁ y C₂, C₁ ⊂ D y C₂ no<br /> es una tautología<br /> <br /> ----<br /> <br /> &#039;&#039;&#039;Solución:&#039;&#039;&#039;</div>

Mjoseh