Logica Proposicional utiliza simbolos que se encargan de representar las propiedades más importantes de las proposiciones o inferencias.
Estas variables proposicionales se representan como cualquier letra del abecedario, y cada operador lógico consta de su respectivo simbolo y su tabla de verdad.
No hay comentarios:
Publicar un comentario