TIPOS DE PROPOSICIONES

CONJUNCION

Cuando dos proposiciones simples se combinan mediante la palabra y, la proposición compuesta resultante se le llama conjunción. Para la conjunción se usa el símbolo lógico ^.De esta manera, se tiene que la nueva proposición p ^ q se llama conjunción de p y q.

DISYUNCION

Se emplea la palabra o en el sentido inclusivo, como el término y/o. Entonces una proposición del tipo «p o q» se toma siempre como «p o q o ambas». Dado esto admitimos la frase compuesta como una proposición. Simbólicamente se denota escribiendo p v q.

NEGACION

Si p es una proposición fundamental, de ésta se puede formar otra proposición, que se le llama Negación de p, escribiendo: «Es falso que» antes de p. Simbólicamente se denota a la negación por ~p.

CONDICIONAL

En matemáticas se suele utilizar muy frecuentemente la proposición «Si p, entonces q». Tales proposiciones se llaman condicionales y se le denota por:

p --> q

El condicional p --> q también se puede expresar de las siguientes maneras:

a. p implica q.

b. p solamente si q.

c. p es suficiente para q.

d. q es necesario para p.

BICONDICIONAL

Otro tipo de proposición que se presenta con frecuencia es de la forma «p si, y solamente si, q» que se suele abreviar «p si q».

A este conectivo lógico especial lo llamamos condicional y se denota por el símbolo <-->, entonces p <--> q