Algebra

República Bolivariana de Venezuela
Ministerio del Poder Popular para la Educación
Unidad Educativa colegio Trina de Medina
Valencia Estado Carabobo






Algebra Proposicional







Profesor: Alumnos:
Adrian Ledezma Yuletzi SolarteVladimir Graffe





Junio, 2015
Introducción


























Las Proposiciones


Polinomios preposicionales:

Premisas Variables (P, q, r. s, t…..)
Conectivos lógicos
Conclusión Signos de agrupación


Su estructuraalgebraica que representa un conjunto de proposiciones lógicas utilizando conectivos y signos de agrupación.

Contenido
Castellano
Algebra

Conjunción
Y, además, también, sin embargo. Ambas

Disyuntiva Inclusiva

O


Disyunción Exclusiva

O……. O



Condicional
Si…, entonces, cuando, por lo tanto.

Bicondicional

Si y solo, solamente si

Negación

No, ni, tampoco, falso




La lógica


La lógicaes una ciencia formal que estudia los principios de la demostración y la inferencia valida. La palabra deriva e inferencia antiguo.

Así como el objeto de estudio de estudio tradicional de la química es la materia, y el de biología de ida, el de la lógica es la inferencia. La inferencia es el proceso por el cual se derivan conclusiones a partir de premisas. La lógica investiga los principiospor los cuales algunas inferencias son adaptables, y otras no. Cuando una inferencia es aceptable, lo es por su escritura lógica, y no por el contenido específico del argumento e el lenguaje utilizado


Razonamiento


En sentido amplio se entiende por razonamiento a la facultad que permite resolver problemas, extraer conclusiones y aprender de manera consciente de los hechos, estableciendoconexiones causales y lógicas necesarias entre ellos. En sentido mas restringidos se puede hablar de diferentes tipos de razonamiento





Tipos de razonamiento


Deductivo: En lógica, un razonamiento deductivo es argumento donde la conclusión se refiere necesariamente de las premisas. En su definición formal una deducción es una secuencia finitiva de fórmulas, de las cuales las ultimas esdesignadas como la conclusión (la conclusión de la deducción), y todas las formulas en la secuencia son, o bien axiomas, o bien premisas, o inferencias directas a partir de fórmulas previas en la secuencia por medio de reglas de inferencias


Inductivo: El propósito del razonamiento inductivo o lógica inductiva es el estudio de las pruebas que permiten medir la probabilidad de los argumentos, así comolas reglas para construir argumentos inductivos fuertes. A diferencia del razonamiento deductivo en el razonamiento inductivo no existe acuerdo sobre cuando considerar un argumento como válido


Proposición


En filosofía y lógica, el termino proposición se usa para referirse a
Las entidades portadoras de los valores de verdad
Los objetos d las creencias y de otras actitudes proporcionales
Elsignificado de las oraciones declarativas, como < el sol es una estrella

Intuitivamente una proposición expresa un contenido semántico a la que bajo cierto procedimiento acordado o prescrito es posible asignarle un valor de verdad (usualmente cierto o falso aunque en lógica formal se admite otros valores de verdad diferentes).




Premisas


En lógica una premisa es cada una de laspreposiciones anteriores a la conclusión de un argumento. En un argumento válido, las premisas implican la conclusión, pero esto no es necesario para una preposición sea una premisa lo único relevante es su lugar el argumento, no su rol. Al ser proposiciones, las premisas siempre afirman o niegan algo y puede ser verdaderas o falsas.


Conclusión


En lógica una conclusión es una proposición al...