Reglas de la logica

Clasificado en Filosofía y ética

Escrito el en español con un tamaño de 3 KB

 
-Regla d modus ponens:si tenemos como premisas una formula condicional la afirmacion d la condicion podemos concluir cn la afirmacion d lo condicional. -Regla del modus tollens:si tenemos como premisas un condicional y la negacion del condicionado se puede obtener como conclusion la negacion d la condicion. -Regla d la doble negacion:1-p;conclusion:nono p 1-nono p;conclusion: p -Regla de la simplificacion:si tenemos como premisas una conjuncion,se pueden concluir x separado cada uno d ls elementos d la conjuncion. -Regla d la conjuncion:si tenemos como premisas 2 proposiciones podemos inferir como son. 1-p 2-q conclusion:(pyq) -Regla del silagismo disyuntivo:si tenemos como premisas una disyuncion y la negacion d una d las 2 alternativas se puede inferir como conclusion la afirmacion d la otra alternativa. -Regla de la adicion:si tenemos como premisas una formula podemos inferir como conclusion esa formula disyuntiva con cualquier otra. -Regla de la transtividad:teniendo como premisas 2 formulas condicionales d las cuales el consecuente d la primera es el antecedent d la segunda,se puede inferir como conclusion una nueva formula condicional cn el antecedente d la primera y el consecuent d la segunda. -Regla de la idempotencia:de la disyuncion d una proposicion consigo misma se infiere dicha proposicion separadamente. -Regla del bicondicional:se infiere:cualquiera d ls condicionales q la integran;la conjuncion d ambos condiconales. -Regla del dilema:una disyuncion y 2 condicionales cuyos antecedentes son ls proposiciones d la disyuncion se puede deducir una nueva disyuncion cn ls consecuentes d ls condicionales. -Regla conmutativa:d una conjuncion o d una disyuncion se puede cambiar el orde.Si tenemos una conjuncion se infiere otra proposicion conjuntiva cn el orden cambiado. -Regla asociativa:teniendo como premisa la conjuncion d una proposicion atomica y una moleculas conjuntiva se puede inferir como conclusion una nueva conjuncion en la cual ls proposiciones q la forman se agrupen d distinto modo. -Regla distributiva:de la conjuncion respecto a la disyuncion: se puede inferir la disyuncion d 2 formulas moleculares q son conuntivas.Tb puede ser d la disyuncion respecto a la conjuncion:si tenemos como premisas la disyuncion d una prop atomica cn una molecular conjuntiva se puede inferir la conj d 2 form molec q son disyuntivas. -Regla d morgan:de una disyuncion p o q se puede inferir una conjuncion en la q se niega todo y cada una d ls proposiciones d la disyuncion. De una conjuncion se deriva una disyuncion en la q se nuega todo y cada una d ls prop d la conjuncion.