Ing. Henrry Mariño Acosta.

Una proposición o enunciado es una oración que puede ser falsa o verdadera, pero
no ambas a la vez. La proposición se considera un elemento fundamental de la
Lógica Matemática. Esta lógica, no profundiza en los conceptos de las proposiciones,
solo se guía en lo ciertas o falsas que sean.

En la lógica proposicional se estudian las proposiciones, los operadores que permiten

construir proposiciones compuestas a partir de proposiciones simples, la manera de
obtener el valor verdadero de un juicio compuesto a partir de los valores de las
proposiciones que lo forman y de los operadores que vinculan a estos, así como el modo
de representar las proposiciones a través de fórmulas matemáticas. Es importante tener en
cuenta que no toda expresión lingüística es una proposición, por ejemplo, las preguntas o
las órdenes no pueden considerarse como tal pues no se le puede asignar un valor
veritativo en ningún contexto.
Las proposiciones se representan simbólicamente mediante el uso de letras minúsculas del
alfabeto tales como: p, q, r, s, x, y, z, las cuales reciben el nombre de letras o variables
proposicionales, de esta manera, el lenguaje proposicional se hace mas simple y exacto que
el lenguaje natural.

EJEMPLO:
p: Tengo ganas de comer un pastel
q: Las patrullas no tienen sirenas
EJEMPLO 1:

Expresión: En el colegio hay alumnos y en el colegio

hay profesores

Proposiciones: p: En el colegio hay alumnos

q: en el colegio hay profesores

Notación simbólica: p Λ q
EJEMPLO 2:

Expresión: La comida se come con cubiertos o con las manos

Proposiciones: r: La comida se come con cubiertos

s: con las manos

Notación simbólica: r V s
EJEMPLO 3:

Expresión: Hoy no llueve

Proposiciones: t: Hoy llueve

Notación simbólica: ¬ t
EJEMPLO 4:

Expresión: Si me pongo guantes y

bufanda entonces dejare de tener tanto frío

Proposiciones: x: Me pongo guantes y bufanda

y: dejare de tener tanto frío

Notación simbólica: x → y
EJEMPLO 5:

Expresión: La ventana esta cerrada si y solo si tiene

puesto el pasador

Proposiciones: v: La ventana esta cerrada

z: tiene puesto el pasador

Notación simbólica: v ↔ z
Se denominan oraciones simples a aquellas que no
utilizan conectivos lógicos Su valor de verdad puede
ser verdadero V o falso F, pero no puede tomar los dos
valor al mismo tiempo.

EJEMPLO
p: 2 es un numero par
Se denominan oraciones compuestas a las que
utilizan conectivos lógicos. El valor de verdad
de estas proposiciones es verdadero V o es
falso F dependiendo del valor de verdad de las
proposiciones simple que las conforman y del
conectivo lógico.

EJEMPLO
Me coloco una chaqueta o me pongo un saco
CONJUNCIÓN Λ

Sean p y q dos proposiciones simples. La proposición compuesta p y q simbolizada por

"p Λ q" se denomina la conjunción de p y q.

EJEMPLO
p Λ q: Esta haciendo mucho frío y esta nublado, en donde:

p: Esta haciendo mucho frío

Λ: y
q: esta nublado

De tal manera podemos finalizar que ne la conjunción es verdadera, solo si las dos
proposiciones simples que utilizamos sean verdadera, en cualquier otro caso
la conjunción es falsa.
DISYUNCIÓN V

Sean p y q dos proposiciones simples. La proposición p o q, simbolizada "p V q" se

llama disyunción de p y q.

EJEMPLO
p V q: lloverá o hará sol en donde:

p: lloverá
V: o
q: hará sol

La disyunción es falsa solamente cuando las dos proposiciones simples que utiliza sean
falsas. En los otros casos es verdadera.
NEGACIÓN ¬

Sea p una proposición simple. Se define la negación de p mediante

la proposición compuesta no p simbolizada por: "¬p"

EJEMPLO
p: 80 no es un numero par

Podemos establecer que si la proposición es verdadera su negación es falsa e

inversamente, si una proposición es falsa su negación es verdadera.
EL CONDICIONAL →

Una proposición compuesta es condicional, si esta formada por dos proposiciones simples
enlazadas por la expresión "si ..... entonces"

Si p y q representan dos proposiciones, la expresión "Si p entonces q" se simboliza

asi: p → q y se lee p implica q
EL BICONDICIONAL ↔

Se denomina bicondicional a la proposición formada por dos proposiciones simples

conectadas por la expresión: "si y solo si"

Si p y q son proposiciones simples, la dobles implicación p ↔ q constituye un bicondicional,

donde p recibe el nombre el bicondicional esta formado por p y q y q y p, las cuales deben de
tener el mismo valor de verdad para formar una equivalencia entre p y q.

Se lee p ↔ q