El lenguaje formalizado de la lógica de proposiciones consta de dos clases de signos: variables proposicionales y operadores o conectores logicos.
Las variables proposicionales representan cualquier proposición atómica, son letras minusculas
domingo, 8 de noviembre de 2009
Suscribirse a:
Enviar comentarios (Atom)
No hay comentarios:
Publicar un comentario