Las reglas derivadas de conjunción

Las siete reglas derivadas de la conjunción que veremos son las siguientes (conocemos las tres primeras):

1. Conmutativa de la conjunción (CC)
  • A∧B
  • B∧A
2. Asociativa de la conjunción (AC)
  • (A∧B)∧C
  • A∧(B∧C)
3. Distributiva de la conjunción (DC)
  • A∧(B∨C)
  • (A∧B)∨(A∧C)
4. Idempotencia de la conjunción (IdC)
  • A∧A
  •     A    
5. Absorción de la conjunción (AbsC)
  • A∧(A∨B)
  •          A         
6. Importación (Imp)
  • A→(B→C)
  • (A∧B)→C
7. Exportación (Exp)
  • (A∧B)→C
  • A→(B→C)

Fíjate en esto

Ya conocemos las reglas Conmutativa, Asociativa y Distributiva de la conjunción (como propiedades de la conjunción).

Practiquemos lo expuesto: rellena la siguiente deducción de acuerdo con las justificaciones de cada paso de la deducción.

  1. [p∧(q∨r)]∧[p∧(q∨r)]  
 
  2. ¬(p∧r) ⊢q∧p
 
 

3. IdC 1

4. DC 3

5. SD 4,2

6. CC 5

 
 
 
  1. (¬p→¬q)→¬(r∨¬r)  
 
  2. (q→s)∧(s→p) ⊢¬p∧(¬p∨t)
 
 

3. AC 2

4. Mut 1

5. Simp2 3

6. MP 4,5

7. Simp1 3

8. DN 7

9. MT 6,8

10. AbsC 10

 
 
 

Sigamos examinando las reglas derivadas de la disyunción.

Página siguiente