Sistemas de Prueba

Sistem
as de
prueba
Formas
n o rm a l
es
Formas normales
Es una expresión que permite decidir con

rapidez, dependiendo de los casos, la
validez o invalidez de las proposiciones.
No suele ser muy utilizado porque puede

llegar a ser largo y difícil.
Formas normales
a) Productos elementales: Conjunción de variables
proposicionales y sus negaciones.
b) Sumas elementales: Es la expresión lógica que

se compone exclusivamente de la disyunción de
las variables proposicionales y sus negaciones
Forma Normal Conjuntiva (FNC)
Una fórmula Q’ que es equivalente a una fórmula dada Q y
que consiste de un producto de sumas elementales se le
llama forma normal conjuntiva, de la fórmula dada Q.
Permite decidir si una expresión es una tautología, ya que la

disyunción de una variable y su negación es el principio del
tercero excluido, siempre verdadero.
Ejemplo
La forma normal conjuntiva de:
Forma normal Disyuntiva.
Una fórmula Q’ que es equivalente a una fórmula Q dada y
que consiste en una suma de productos elementales se le
llama forma normal disyuntiva de la fórmula Q dada.
Proporciona un criterio de falsedad, pues basta que una

variable aparezca negada y afirmada cuando va ligada por
el conectivo de la conjunción para que la expresión sea
falsa.
Ejemplo
Forma normal disyuntiva de:
Formas
normal
es
princip
al
es
FNP
Sean p, q variables proposicionales, se construyen
todas las fórmulas posibles que consisten de la
conjunción de “p” o su negación y de “q” y su
negación.
Para dos variables p,q se tienen de tales fórmulas:

FNP
Tales formas descritas anteriormente se

llaman mintérminos o conjunciones
booleanas de p y q.
Se observan que existen mintérminos para n

variables.
FNP
Dado un número de variables, las sumas (o
disyunciones) en las que cada variable o su
negación, pero no ambas, ocurren sólo una vez
reciben el nombre de maxtérminos.
Para las variables p,q los maxtérminos son:
Como puede verse, los maxtérminos son los duales

de los mintérminos.
Método
Directo
Reglas de inferencia
Son argumentos basados en tautologías que representan

métodos de razonamiento universalmente correctos. Su
validez depende solamente de la forma de las
proposiciones que intervienen y no de los valores de
verdad de las variables que contienen.
Método directo
Sea P un conjunto de premisas dadas y Q la conclusión de un

argumento, se entiende como una prueba formal de Q de las
premisas P, a la sucesión de fórmulas y cada es el resultado de
aplicar reglas de inferencia, o equivalencias a las premisas, es
decir, son deducidas de las premisas o las anteriores
Método directo
Supóngase que es una tautología, en donde P y Q pueden ser
proposiciones compuestas, en las que intervengan cualquier
número de variables proposicionales, se dice que Q se desprende
lógicamente de P. Entonces la implicación puede escribirse de la
siguiente manera:
Ejemplo
Si trabajo o ahorro, entonces compraré una casa con garaje. Si
compro una casa con garaje, entonces podré guardar el coche en
el garaje de mi casa. Por consiguiente, si no puedo guardar el
coche en el garaje, entonces no ahorro.
Para modelar el enunciado sean:

P: Yo trabajo
Q: yo ahorro
R: Comprar casa con garaje
S: Poder guardar el coche en el garaje
Ejemplo
El enunciado se puede representar como:
Equivale a probar:
Ejemplo
Otros ejemplos
Modus Ponendo Ponens.
Modus Tolendo Tollens.

Método
i n d i r ec
t
o
Método indirecto
Una demostración indirecta o por contradicción de un argumento de

la forma , comienza suponiendo que la negación de la conclusión
Q es verdadera y de ahí concluye que la negación de P es
verdadera ya que la condicional es lógicamente equivalente a su
contrapositiva.
Ejemplo
o d o
é t n
M i ci o
o nd
C al
Método condicional
Este método se usa para demostrar argumentos

donde la conclusión es una proposición de la
forma , así se afirma , que se introduce como
premisa auxiliar y se concluye y se concluye el
proceso cuando se obtiene .
Ejemplo
Método
de
r es o l u c
ió
n
Método de resolución
Este método depende de una técnica propuesta por
J. A. Robinson que depende de una sola regla, la
ley de resolución
Es decir, si son verdaderas, entonces es verdadera

Método de resolución
En una demostración por resolución, la hipótesis y la
conclusión deben escribirse como clausular.
Una clausula es una proposición compuesta de dos o más

proposiciones simples o variables, unidas por una
disyunción.
Ejemplo
Si una premisa no es clausula deberá sustituirse por un expresión equivalente.

Resolu
ción
por
r efu t a c
ión
En esta prueba se agrega al conjunto de clausulas la
negación de la conclusión como cláusula adicional
y se aplica repetidamente la ley de resolución
hasta obtener alguna contradicción representada
por la cláusula vacía .
Ejemplo

Sistemas de Prueba

Cargado por

Copyright:

Formatos disponibles

Sistemas de Prueba

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Sistemas de Prueba

Cargado por

Copyright:

Formatos disponibles

Sistem

Es una expresión que permite decidir con

No suele ser muy utilizado porque puede

b) Sumas elementales: Es la expresión lógica que

Permite decidir si una expresión es una tautología, ya que la

Proporciona un criterio de falsedad, pues basta que una

Para dos variables p,q se tienen de tales fórmulas:

Tales formas descritas anteriormente se

Se observan que existen mintérminos para n

Para las variables p,q los maxtérminos son:

Como puede verse, los maxtérminos son los duales

Son argumentos basados en tautologías que representan

Sea P un conjunto de premisas dadas y Q la conclusión de un

Para modelar el enunciado sean:

Modus Tolendo Tollens.

Una demostración indirecta o por contradicción de un argumento de

Este método se usa para demostrar argumentos

Es decir, si son verdaderas, entonces es verdadera

Una clausula es una proposición compuesta de dos o más

Si una premisa no es clausula deberá sustituirse por un expresión equivalente.

También podría gustarte