Variable Proposicional
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definición
Un símbolo sintáctico en lógica proposicional que denota una proposición atómica y al que se le puede asignar un valor de verdad (verdadero o falso) en una valoración dada.