Lógica proposicional

Solo disponible en BuenasTareas
  • Páginas : 7 (1718 palabras )
  • Descarga(s) : 0
  • Publicado : 29 de abril de 2011
Leer documento completo
Vista previa del texto
Definiciones y ejemplos: Conectivos Lógicos: Formalización: Valoración de las proposiciones moleculares:

LÓGICO MATEMÁTICA Lógica Proposicional
Carlos Felipe Piedra Cáceda. Licenciado en Matemática. Con estudios de Maestría en Ingeniería Matemática.

7 de abril de 2011

Carlos Felipe Piedra Cáceda. Licenciado en Matemática. Con estudios de Maestría en Ingeniería Matemática. LÓGICOMATEMÁTICA Lógica Proposicional

Definiciones y ejemplos: Conectivos Lógicos: Formalización: Valoración de las proposiciones moleculares:

Definiciones y ejemplos:

Definición de Lógica Estudia los métodos y los principios usados para distinguir el razonamiento correcto del incorrecto. Dada la misma agudeza intelectual innata, la persona que ha estudiado lógica tiene mayor posibilidad de razonarcorrectamente que aquella que nunca ha considerado los principios generales implicados en esa actividad.

Carlos Felipe Piedra Cáceda. Licenciado en Matemática. Con estudios de Maestría en Ingeniería Matemática. LÓGICO MATEMÁTICA Lógica Proposicional

Definiciones y ejemplos: Conectivos Lógicos: Formalización: Valoración de las proposiciones moleculares:

Enunciado: Es toda expresiónlingüística, que constituye una frase u oración. Ejemplos:
1 2 3 4 5 6 7 8 9

Vargas LLosa es peruano. ¡Auxilio! El hexágono tiene 5 lados. Prohibido fumar en la oficina. ¿Qué hora es? El cubo de 3 es 9. Los Perros Hambrientos. "Dios es un ser misericordioso" ”El Perú es un mendigo sentado en un banco de oro"

Carlos Felipe Piedra Cáceda. Licenciado en Matemática. Con estudios de Maestría en IngenieríaMatemática. LÓGICO MATEMÁTICA Lógica Proposicional

Definiciones y ejemplos: Conectivos Lógicos: Formalización: Valoración de las proposiciones moleculares:

Proposición: Enunciado susceptible de ser verdadero o falso pero no ambos a la vez. Generalmente se representan por las letras: p, q, r, etc. Ejemplos:
1 2

La suma de dos números impares es par. Machu Picchu se encuentra en el Cuzco ySipán en Lambayeque.

Observación: Las dudas, súplicas, deseos, órdenes, preguntas y exclamaciones, no se consideran proposiciones lógicas; tampoco las frases y oraciones que posean ambiguedad evidente y que se refieran a contextos religiosos, subjetivos y literarios.
Carlos Felipe Piedra Cáceda. Licenciado en Matemática. Con estudios de Maestría en Ingeniería Matemática. LÓGICO MATEMÁTICALógica Proposicional

Definiciones y ejemplos: Conectivos Lógicos: Formalización: Valoración de las proposiciones moleculares:

Clases de proposiciones:
P. Simples o Atómicas o No Estructurales: Son aquellas que tienen un solo sujeto y un solo predicado. Carecen de conector lógico, no se componen de otras proposiciones. Las proposiciones atómicas a su vez pueden ser:
1

Predicativas: Constande sujeto y predicado, pudiendo indicar una cualidad o una circunstancia. Ejemplo: - Chiclayo es llamada ciudad de la amistad. - Federico Villarreal fue un matemático lambayecano.

Relacionales: Constan de dos o más sujetos vinculados entre sí. Ejemplo: - La selección peruana de vóley jugó un partido intenso con su similar de Cuba. (R. de acción) - Vallejo con Mariátegui fueron literatoscontemporáneos. (R. Carlos Felipe Piedra tiempo) LÓGICO MATEMÁTICA Lógica Proposicional de Cáceda. Licenciado en Matemática. Con estudios de Maestría en Ingeniería Matemática.
2

Definiciones y ejemplos: Conectivos Lógicos: Formalización: Valoración de las proposiciones moleculares:

P. Compuestas o Moleculares o Coligativas: Son aquellas que están constituidas por proposiciones atómicas y secaracterizan porque poseen enlaces llamados conectores lógicos. Las proposiciones compuestas, pueden ser: Negativas, Conjuntivas, Disyuntivas Débiles, Disyuntivas Fuertes, Implicativas, Biimplicativas. Ejemplos:
1 2

Voy a comprar galletas y a tomar café. Si estudio todo el ciclo, entonces apruebo el curso.

Carlos Felipe Piedra Cáceda. Licenciado en Matemática. Con estudios de Maestría en...
tracking img