La lógica sentencial (también llamada lógica proposicional) es lógica que incluye letras de oración (A, B, C) y conectivos lógicos, pero no cuantificadores. La semántica de la lógica sentencial utiliz...La lógica sentencial (también llamada lógica proposicional) es lógica que incluye letras de oración (A, B, C) y conectivos lógicos, pero no cuantificadores. La semántica de la lógica sentencial utiliza asignaciones de verdad a las letras para determinar si una oración proposicional compuesta es verdadera.
