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 -->, 
Bicondicional o equivalencia
,
.
No hay comentarios:
Publicar un comentario