logica

Republica Bolivariana de Venezuela
Ministerio del Poder Popular para la Educación
Universidad Bicentenaria de Aragua
San Félix-Edo Bolívar














Profesora:
Sol Azocar
Alumno:
Cortez Gabriel CI: 25.935.333

Índice
Pág.
Introducción………………………………………………………………………………..3
Reglas aplicables a la condicional………………………………………………………4
Reglas aplicables a laconjunción……………………………………………………….5
Reglas aplicables a la disyunción……………………………………………………….7
Ley conmutativa…………………………………………………………………………...9
Ley asociativa……………………………………………………………………………...9
Conclusión………………………………………………………………………………..10















Introducción
Antes de hablar acerca de las reglas de inferencia es bueno resaltar algunos conceptos claros y básicos para el entendimiento de este; uno de ellos sonlas lógica.

La lógica es una rama de la filosofía la cual estudia la demostración e inferencia valida. Es una rama de la matemática que se desarrollo en el siglo XIX, es considerada como la ciencia del razonamiento.

El estudio de la lógica y de las proposiciones nos ayudara a tener un pensamiento preciso y herramientas para argumentar claramente situaciones de una manera más exacta.Reglas aplicables a la condicional
El condicional material, también conocido como implicación material, condicional funcional de verdad o simplemente condicional, es una constante lógica que conecta dos proposiciones. El condicional material intenta ser la versión formal del condicional en el lenguaje natural, el cual se expresa por medio de palabras como las siguientes:Si llueve, entonces voy al cine.
Voy al cine si llueve.
Cuando llueve, voy al cine.
Simbólicamente, el condicional material se suele denotar de las siguientes maneras:

, y en ocasiones:

Donde A y B son proposiciones cualesquiera. Las variables A y B se conocen respectivamente como el antecedente y el consecuente del condicional.
En lógica proposicional, el condicional material esuna función de verdad binaria, que devuelve falso cuando A es verdadera y B es falsa, y devuelve verdadero en cualquier otro caso. En lógica de predicados, puede ser visto como una relación de subconjunto entre la extensión de predicados (posiblemente complejos).
El condicional material es una función de verdad que toma dos valores de verdad (por lo general los valores de proposiciones) ydevuelve falso cuando el primer valor es verdadero y el segundo falso, y verdadero en cualquier otro caso.
En otras palabras, la tabla de verdad del condicional material es la siguiente:



Como se ve, el condicional material devuelve 0 (falso) sólo cuando el antecedente es verdadero y el consecuente falso. En todos los demás casos, devuelve 1 (verdadero).


Propiedades formales
Algunas de las propiedadesformales del condicional material son:
Distributividad: 
Transitividad: 
Conmutatividad: 
Idempotencia: 
Preservación de la verdad: La interpretación en virtud del cual todas las variables se les asigna un valor de verdad de «verdadero» produce un valor de verdad de «verdadero» como resultado de la implicación material.
Las preposiciones condicionales llevan la conjunción condicionalcompuesta ´si…entonces…´, o sus expresiones equivalentes como ´si´, siempre que´, con tal que´, ´puesto que´, ´ya que´, ´porque´, ´cuando´, ´de´, ´a menos que´, ´a no ser que´, ´salvo que´, ´solo si´, ´solamente si´.
Ejemplos:
A) Si es joven, entonces es rebelde
B) Es herbívoro si se alimenta de las plantas
Toda proposición condicional consta de dos elementos: Antecedente y consecuente. Laproposición que sigue la palabra ´si´ se llama antecedente y la palabra ´entonces´ se denomina consecuente.
Finalmente en toda preposición condicional el consecuente es condición necesaria del antecedente y el antecedente es condición suficiente del consecuente. Por Ejemplo, en la proposición condicional ´si los cuerpos se calientan, entonces se dilatan´ , el consecuente ´se...