Aula de Entrenamiento - Lógica Proposicional
Completa 10 ejercicios con un 90% de acierto para desbloquear el siguiente objetivo
Selecciona el tipo de fórmula:
Paso 1: Selecciona la conectiva principal (C)
Haz clic sobre la conectiva principal (C) en la fórmula
¿La conectiva C es positiva o negativa?
C es negativa solo si toda la fórmula está entre paréntesis y negada. Ejemplo: ¬(p ∧ q)
Haz clic sobre los símbolos que forman la parte A
A es todo lo que está a la izquierda de la conectiva principal. Haz clic en cada símbolo para seleccionarlo.
¿La parte A es positiva o negativa?
Haz clic sobre los símbolos que forman la parte B
B es todo lo que está a la derecha de la conectiva principal. Haz clic en cada símbolo para seleccionarlo.
¿La parte B es positiva o negativa?
📍 Negación actual marcada en verde
Identifica qué símbolo está siendo negado y si es de contenido o valor
¿Qué símbolo está siendo negado?
Haz clic en el símbolo que está siendo afectado por la negación marcada en verde
¿Es una negación de contenido o de valor?
Contenido: La negación afecta a un símbolo dentro de A, B o C
Valor: La negación afecta al símbolo que representa A, B o C completo
Paso 1: Selecciona la conectiva principal (C)
Haz clic sobre la conectiva principal (C) en la fórmula
¿La conectiva C es positiva o negativa?
C es negativa solo si toda la fórmula está entre paréntesis y negada. Ejemplo: ¬(p ∧ q)
Haz clic sobre los símbolos que forman la parte A
A es todo lo que está a la izquierda de la conectiva principal. Haz clic en cada símbolo para seleccionarlo.
¿La parte A es positiva o negativa?
Haz clic sobre los símbolos que forman la parte B
B es todo lo que está a la derecha de la conectiva principal. Haz clic en cada símbolo para seleccionarlo.
¿La parte B es positiva o negativa?
Interdefinir a:
Haz clic sobre la conectiva principal en la fórmula