5to periodo Flashcards
Fórmula Bien Formulada (FBF)
Son premisas y argumentos bien estructurados
Reglas de las FBF (1/2)
- Sólo se empleará una letra para una proposición simple o autónoma.
- Toda letra en el cálculo proposicional será considerada una FBF
Reglas de las FBF (2/2)
- Si algo es considerado una FBF, su negación también lo es
- Si dos cosas son una FBF, la unión de ambas también será una FBF
Pruebas de validez
conforman un método lógico que a partir de reglas bien definidas, permite realizar inferencias válidas a partir de FBFs
Pruebas de inferencia
Obtener una proposición nueva a partir de premisas previas
Pruebas de equivalencia
Obtener una proposición con igual valor de verdad a partir de una proposición originaria
Simplificación
Si una proposición molecular se encuentra unida por una conjunción, las dos proposiciones unidas por ella, son necesariamente verdaderas y por lo tanto, cada una es independientemente verdadera
Conjunción
Si dos proposiciones moleculares o atómicas son son verdaderas, la unión de ambas, es verdadera
Adición
Si una proposición simple o molecular es verdadera, le puedo adicionar lo que sea
Silogismo hipotético
Cuando dos condicionales cuentan con un elemento común, en uno como antecedente y en el otro como consecuente, podemos concluir que el antecedente y el consecuente restantes constituyen un nuevo condicional
Doble negación
Una inferencia se cambia a otra con el mismo valor de verdad / axiología
Asociación
las inferencias se pueden ordenar de diversas formas sin alterar el producto, cuando se tenga el mismo conectivo lógico, ya sea conjunción o disyunción
Ley(es) De Morgan
La suma de n variables preposicionales globalmente negadas o invertidas es igual al producto de las variables negadas
Implicación Material
Permite cambiar el conectivo principal de la proposición condicional por disyunción, pero negando el antecedente
Distribución
Cuando se tienen dos conectivos diferentes (dis-conj/conj-dis), distribuye a la proposición fuera del paréntesis con las que están dentro de él.