Con las proposiciones podemos hacer nuevas proposiciones, haciendo ciertas operaciones con ellas.

Para denotar las proposiciones usamos letras tales como, p,q,r,....

Para denotar las operaciones entre proposiciones usamos símbolos, llamados conectivos lógicos.

 

Negación:  \sim

Conjunción:  \wedge

Disyunción:  \vee

Implicación:  \Rightarrow

Doble implicación:  \Leftrightarrow

Diferencia simétrica:  \Delta

-.-

Número de Visitas: 1652

Imprimir Entrada