UNIVERSIDAD TECNICA DE MACHALA FACULTAD DE INGENIERIA CIVIL ESCUELA DE INFORMATICA MATEMATICAS DISCRETAS Nombres: Cristhian Vergara Salvador Curso:

2er Quimestre A

Lgica de Proposiciones

Es un sistema formal diseado para analizar ciertos tipos de argumentos. En lgica proposicional, las frmulas representan proposiciones y las conectivas lgicas son operaciones sobre dichas frmulas, capaces de formar otras frmulas de mayor complejidad. Como otros sistemas lgicos, la lgica proposicional intenta esclarecer nuestra comprensin de la nocin de consecuencia lgica para el rango de argumentos que analiza.

Nomenclatura:

CLASES Relacionales: son aquellas que establecen una relacin o enlace entre 2 sujetos u objetos. Presentan un predicado posicional, es decir requiere de dos o ms individuos para darle sentido a la proposicin. Ej.: Chiclayo est al norte de Lima (Relacin de ubicacin)

Simples: bsicas o atmicas, son aquellas que llevan un slo sujeto y un slo predicado no tienen conjunciones entre los trminos que la integran, y no pueden descomponerse en otras: El hombre es racional.

Predicativas: son aquellas que atribuyen o afirman una cualidad o circunstancia de un objeto o sujeto. Poseen una estructura similar a la oracin ya que presenta un sujeto, una copula y un predicado. Ej. Alan Garca es el presidente del Per.

Compuestas: llamadas tambin moleculares, se constituyen a partir de las proposiciones simples, estn unidas por alguna conjuncin o algn conectivo lgico: El alma es espiritual y libre.

CONECTORES LGICOS

Conjuntivas: est formada por la unin de dos proposiciones simples unidas por nexos lgicos como: y, e, a la vez que , tambin , no obstante, pero, sin embargo, aunque, etc.

Condicionales: o Hipotticas, expresan una relacin de causalidad entre las proposiciones afectadas, Estn unidas por el trmino de enlace si . entonces. Ej.: Si maana amanece nublado, entonces llover

Directa (implicativa) : se da cuando el antecedente es anterior al consecuente. Ej.:si es joven, entonces es rebelde Inversa (replicativa): se da cuando la operacin de implicacin est desordenada (en lenguaje natural o cientfico). Es decir cuando primero est el consecuente y luego el antecedente.(si,

Bicondicionales: es una relacin de doble condicionalidad, o tambin una condicin necesaria y suficiente. Presenta los siguientes nexos lgicos: si y slo si, cuando y slo cuando, entonces y slo entonces, etc. Ej.: Juan ingresa a la Universidad si y slo si obtiene nota aprobatoria.

Negativas: es aquella que presenta como nexo lgico a no, no es cierto que, no es el caso que ni, etc. Ej: : Lima no es capital de Piura No es cierto que la cosecha de caa trae perdidas.

Disyuntivas: son aquellas proposiciones simples unidas por el trmino de enlace o . Esta puede ser dbil o fuerte

TABLA DE VERDAD

La tabla de verdad de una frmula es una tabla en la que se presentan todas las posibles interpretaciones de las variables proposicionales que constituye la frmula y el valor de verdad de la frmula completa para cada interpretacin. Por ejemplo, la tabla de verdad para la frmula sera: