Método Abreviado
Laspresiones de denomina con las letras “p” en adelante, las opresiones básicas de la lógica son:
Operaciones básicas
Denotaremos la proposiciones simples como p, q, r, etc. y definiremos 4operaciones básicas, correspondientes a la negación "no", la conjunción "y", la disyunción "o" y la implicación ("").
La negación
Dada una proposición p, su negación ~ (p) es aquella proposición que esfalsa cuando p es verdadera y, es verdadera cuando p es falsa.
La conjunción
Dadas las proposiciones p, q. La conjunción p y q es aquella proposición que sólo es verdadera, cuando ambas sonverdaderas. En cualquier otro caso es falsa.
La disyunción
Dadas las proposiciones p, q. La disyunción p o q es aquella proposición que sólo es falsa, cuando ambas son falsas. En cualquier otro caso esverdadera.
El condicional
Dadas las proposiciones p, q. La implicación pq es aquella proposición que sólo es falsa, cuando p es verdadera y q es falsa. En cualquier otro caso es verdaderaRazonamiento valido o no valido: Un razonamiento es válido cuando su forma lógica es válida, independientemente de las premisas y de la conclusión. Una forma lógica es válida cuando la conclusión se derivanecesariamente de las premisas
Tautología: para las preposiciones que para todos sus valores son verdaderos si esto no se cumple aunque sea en una es contradicción
Método abreviado
Corresponde auna de las formas para la resolución de inferencias
Se debe tener un antecedente y consecuente para poder aplicarla,
El método se aplica con una hipótesis “(V → F = F)” constante si secumple entonces es una contradicción si no se cumple es Tautología
deducir los valores de esa variables que componen el antecedente y consecuente
*
que estos valores no se encuentre en...
Regístrate para leer el documento completo.