DEFINICION: Una proposición es una Los símbolos lógicos

afirmación con sentido completo, y PROPOSICIONES LÓGICAS pertenecen a un conjunto de

caracteres que brinda una
constituye la forma más elemental de la
representación lógica a los
lógica. Las proposiciones brindan valores que están dentro de
información sobre un acontecimiento al las operaciones aritméticas.
sable, es decir, que puede ser falso o
verdadero.

Las proposiciones simples son Las proposiciones compuestas son

aquellas que no tienen otras aquellas que contienen dentro de sí
oraciones dentro de sí mismas. más de una proposición simple.

NEGACION CONJUNCION DISYUNCIÓN CONDICIONAL BICONDICIONAL

La disyunción es un El bicondicional o
operador que opera El condicional doble implicación es
La conjunción es un
La conectiva sobre dos valores de material es un un operador que
operador que opera
negación sirve verdad, típicamente operador que opera funciona sobre dos
sobre dos valores de
para calcular el los valores de sobre dos valores de valores de verdad,
verdad, típicamente los
valor de verdad verdad de dos verdad, típicamente típicamente los valores
valores de verdad de
de la proposición proposiciones, los valores de verdad de verdad de dos
dos proposiciones,
No quiero café. devolviendo el valor de dos proposiciones, proposiciones,
devolviendo el valor de
Cuando Quiero de verdad verdadero devolviendo el valor devolviendo el valor de
verdad verdadero
café es cuando una de las de verdad falso sólo verdad verdadero
cuando ambas
verdadera, No proposiciones es cuando la primera cuando ambas
proposiciones son
quiero café es verdadera, o cuando proposición es proposiciones tienen el
verdaderas, y falso en
falsa y viceversa. ambas lo son, y verdadera y la mismo valor de
cualquier otro caso. Es
falso cuando ambas segunda falsa, y verdad, y falso cuando
decir es verdadera
verdadero en sus valores de verdad
cuando ambas son son falsas.
cualquier otro caso. difieren.
verdaderas