jueves, 28 de agosto de 2014

Clase 28/08/2014

Formalizaciòn lógica de proposiciones 

Toda proposición se puede llevar a  un lenguaje de lógica  proposicional, mediante determinada simbologìa:
Negación ¬, ~, -.
Conjunción  ^, º, &.
Disyunción exclusiva v, .
disyunción inclusiva v
condicional -->, \supset
Bicondicional o equivalencia \leftrightarrow\equiv \,

No hay comentarios:

Publicar un comentario