• Barajar
    Activar
    Desactivar
  • Alphabetizar
    Activar
    Desactivar
  • Frente Primero
    Activar
    Desactivar
  • Ambos lados
    Activar
    Desactivar
  • Leer
    Activar
    Desactivar
Leyendo...
Frente

Cómo estudiar sus tarjetas

Teclas de Derecha/Izquierda: Navegar entre tarjetas.tecla derechatecla izquierda

Teclas Arriba/Abajo: Colvea la carta entre frente y dorso.tecla abajotecla arriba

Tecla H: Muestra pista (3er lado).tecla h

Tecla N: Lea el texto en voz.tecla n

image

Boton play

image

Boton play

image

Progreso

1/19

Click para voltear

19 Cartas en este set

  • Frente
  • Atrás
LEYES DE INFERENCIA
LEYES DE INFERENCIA
Modus Ponens
p→q
p
-------
q

1.- Si estudio entonces aprendo
2.- Estudio
.·. Aprendo
Modus Tollens
p→q
¬p
-------
¬q

1.- Si sonrío, entonces estoy feliz
2.- No estoy feliz
.·. No sonrío
Silogismo Hipotético
p→q
q→r
-------
p→r

1. Si estudio entonces aprendo
2. Si aprendo entonces apruebo
.·. Si estudio entonces apruebo
Silogismo Disyunctivo
p v q
¬q
-------
p

1.- Estudio o trabajo
2.- No trabajo
.·. Estudio
LEYES DE LOGICA
LEYES DE LOGICA
Involución
¬¬p ↔ p

Menos por menos Más
Idempotencia
p ^ p ↔ p

Dos cosas iguales es lo mismo
Conmutatividad
p v q ↔ q v p

Cambiar el orden al revés de las proposiciones no altera el resultado.
Asociatividad
(1 + 2) + 3 ↔ 1 + (2 + 3)


Correr los paréntesis en una sentencia con tres elementos.
Distributividad
(1 v 2) ^ 3 ↔ (1 ^ 3) v (2 ^ 3)

Multiplicar 1 por 3 y 2 por 3 como en matemática.
Ojo con los símbolos.
De Morgan
¬ (p ^ q) ↔ ¬p v ¬q

Distribuyo la negación.
Se invierten los símbolos.
Elemento Neutro
p v F ↔ p

p ^ V ↔ P

Un elemento neutro tiene un efecto neutro al ser utilizado en la operación.
Me olvido de la F o V y agarro lo que restó.
Elemento Absorbente
p v V ↔ V (tautología)

p ^ F ↔ F (antitautología)
Complementación
p v ¬p ↔ V

p ^ ¬p ↔ F
Subsunción
(p v q) ^ p ↔ p

(p ^ q) v p ↔ p
Equivalencia Importante
p → q ↔ ¬p v q
Negación
¬ (p → q) ↔ p ^ ¬q

¬ (p ↔ q) ↔ p v q
Contrarrecíproco
p → q ↔ ¬p → ¬q

Se niega