Alfabeto da lógica proposicional
Símbolos de pontuação: ‘(‘, ‘)’.
Símbolos de verdade: “true”, “false”.
Símbolos proposicionais: p, q, r, s, p1, q1, r1, p2, q2…
Conectivos proposicionais: ~, v, ^, → , ↔.
Os símbolos proposicionais são usados para representar proposições na linguagem da lógica.
No hay comentarios:
Publicar un comentario