Lógica Matematica

Lógica Proposicional

La lógica proposicional es la que simboliza y describe enunciados declarativos.

Proposiciones Lógicas

Una proposición lógica es un enunciado declarativo que puede ser verdadero o falso, pero no ambos a la vez. Las proposiciones se presentan mediante variables proposicionales que se simbolizan por letras (p.q,r,s) para la cual se tiene en cuenta la teoría de conjuntos.

Lenguaje Proposicional

Sintaxis: Se definen los símbolos básicos del lenguaje proposicional (alfabeto), la forma de combinarlos son sentencias.

Símbolos

• De veracidad: v,f.
• De variables: p,q,r,s.

De conectivas lógicas: (¬ , ~ ) Negación    

                                                (Λ)  Conjugación 

                                                (V)  Disyunción inclusiva

                                                (→) Condicional

                                                (↔) Bicondicional

Ejemplo:

Tabla de verdad de lenguaje proposicional:

Letras Proposicionales

Las letras p,q,r,s ... nos definen sentencias verdaderas o falsas y representan diferente informacion dependiendo del fenómeno que describa.