LOGICA SIMBOLICA

Tu recurso educativo completo

Materia: Matemáticas

Fórmulas de LOGICA SIMBOLICA

Desarrolla tu pensamiento lógico.

37 Fórmulas
Matemáticas Materia
Imprimir o Descargar PDF

Ley de identidad (Reflexividad)

Ley de contradicción

$$\sim p \land p \equiv F \\ \sim p \lor p \equiv V$$
Descargar

Tabla de verdad de la Conjunción ( Y )

$$p\:\:\:\land\:\:\:q\\V\:\:\:V\:\:\:V\\V\:\:\:F\:\:\:F\\F\:\:\:F\:\:\:V\\F\:\:\:F\:\:\:F$$
Descargar

Tabla de verdad de la Disyunción ( O )

$$p\:\:\:\lor\:\:\:q\\V\:\:\:V\:\:\:V\\V\:\:\:V\:\:\:F\\F\:\:\:V\:\:\:V\\F\:\:\:F\:\:\:F$$
Descargar

Tabla de verdad de la Implicación ( → )

$$p\:\:\:\rightarrow \:\:\:q\\V\:\:\:V\:\:\:V\\V\:\:\:F\:\:\:F\\F\:\:\:V\:\:\:V\\F\:\:\:V\:\:\:F$$
Descargar

Tabla de verdad de la Doble Implicación ( ↔ )

$$p\:\:\:\leftrightarrow\:\:\:q\\V\:\:\:V\:\:\:V\\V\:\:\:F\:\:\:F\\F\:\:\:F\:\:\:V\\F\:\:\:V\:\:\:F$$
Descargar

Tabla de verdad de la Disyunción Exclusiva ( ⊻ )

$$p\:\:\:\veebar\:\:\:q\\V\:\:\:F\:\:\:V\\V\:\:\:V\:\:\:F\\F\:\:\:V\:\:\:V\\F\:\:\:F\:\:\:F$$
Descargar

Ley de la Asociatividad

$$p\lor(q\lor r)\equiv(p\lor q)\lor r\\p\land(q\land r)\equiv(p\land q)\land r$$
Descargar

Ley de la Conmutatividad

$$p\lor q\equiv q\lor p\\p\land q\equiv q\land p$$
Descargar

Ley de la Distributividad

$$p\lor (q\land r)\equiv (p\lor q)\land(p\lor r)\\p\land(q\lor r)\equiv (p\land q)\lor(p\land r)$$
Descargar

Ley del Elemento Neutro

Ley del complemento

$$p\lor \backsim p\equiv V\\p\land\backsim p\equiv F$$
Descargar

Equivalente de Implicación

Equivalente de doble implicación

$$p\leftrightarrow q \equiv (p\rightarrow q)\land(q\rightarrow p)$$
Descargar

Leyes de Idempotencia

Condición de Tautología y Contradicción

Leyes de Absorción (opción A)

$$p\land(p\lor q)\equiv p\\p\lor (p\land q)\equiv p$$
Descargar

Leyes de Stokes

$$\sim p\lor(p\land q)\equiv \sim p\lor q\\\sim p\land(p\lor q)\equiv \sim p\land q\\p\lor (\sim p\land q)\equiv p\lor q\\p\land(\sim p\lor q)\equiv p\land q$$
Descargar

Equivalencia de la Disyunción Exclusiva

$$p\veebar q\equiv (p\lor q)\land \sim(p\land q)$$
Descargar

Leyes de Morgan

$$\sim(p\land q)\equiv \sim p\lor\sim q\\\sim(p\lor q)\equiv \sim p\land\sim q$$
Descargar

Ley de Involución o Doble Negación

Negación de Tautología y Antitautología

Condicion de Recíprocos, Contrarios y Contrarecíprocos

$$(p\rightarrow q)\:\:\:Recíprocos\:\:\:(q\rightarrow p)\\(p\rightarrow q) \:\:\:Contrarios(\sim p\rightarrow\sim q)\\(p\rightarrow q)\:\:\:Contrarrecíprocos\:\:\:(\sim q\rightarrow \sim p)$$
Descargar

Leyes de absorcion (opcion-B)

$$p \lor (\sim p \land q ) \equiv (p \lor q) \:\:\:\:\:\: \\p \land (\sim p \lor q ) \equiv (p \land q)$$
Descargar

Equivalencia de Diferencia simétrica

$$p \triangle q \equiv \sim\left(p \leftrightarrow q \right) \:\:\:\:\:\:\\ p \triangle q \equiv (p \lor q) \land \sim(p\land q)$$
Descargar

Reglas de Inferencia Lógica (1)

Reglas de Inferencia Lógica (2)

Reglas de Inferencia Lógica (3)

Reglas de Inferencia Lógica (4)

Reglas de Inferencia Lógica (5)

Reglas de Inferencia Lógica (6)

Reglas de Inferencia Lógica (7)

$$Regla\:de\:la\:Simplificación\:Conjuntiva$$
Descargar

Reglas de Inferencia Lógica (8)

$$Regla\: de\: Amplificación\: Disyuntiva$$
Descargar

Reglas de Inferencia Lógica (9)

Reglas de Inferencia Lógica (10)

Reglas de Inferencia Lógica (11)

Reglas de Inferencia Lógica (12)

¿Cómo podemos ayudarte?

📝

Formulario

¿Necesitas un formulario específico?

Solicitar
👨‍🏫

Clases

¿Buscas clases de apoyo personalizadas?

Consultar
✅

Prácticos

¿Tienes un práctico que necesitas resolver?

Resolver
💡

Proyectos

¿Necesitas ayuda con un proyecto escolar/universitario?

Asesoría