Artificial intelligence (Due: 22/10/19)

Submission Assignment #6

Instructor: Dr.Ismael Everardo Barcenas Patiño Name: Sáinz Villasana Santiago

DETERMINE IF THE FOLLOWING FORMULAS ARE VALID.

1. ¬(¬p ∨ ¬q) ∨ ¬(¬q ∨ r) ∨ ¬p ∨ r

p q r ¬p ¬q D∨E
          
 F   F   F   T  T   T 
 F   F   T  T  T   T
           
  
 F   T   F  T  F   T
           
  
A = F  B =  T  C =  T  D = T
E= F F= T
           
 
 T   F   F   F  T   T 
           
 T   F   T   F  T   T 
           
 T   T   F   F  F   F 
T T T F F F
¬F E∨C ¬H G∨I J ∨D
         
 F   T   F   F   T 
 F   T  F  F   T 
         
 
 F   F  T  T   T 
         
 
G= F H= T I= F J= F K= T 
         
 F   T  F  F   F 
         
 
 F   T   F   F   F 
         
 T   F   T   T   T 
T T F T T
K ∨C
 
 T 
 T
 

 T
 

L= T
 

 T 
 
 T 
 
 T 
T
= TRUE

2. ¬(¬(¬p ∨ ¬¬p) ∨ ¬(¬¬¬p ∨ p))

         
p ¬p B∨A ¬C D∨D
A = F  , B =  T  , C =  T ,D= F ,E= F 
T F T F F
 
¬E
F=  T 
T
= TRUE

1
Sáinz Villasana Santiago – Submission Assignment #6 2

3. ((φ → ψ) ∧ (ψ → ϕ)) → (φ → ϕ)
¬(¬(¬(¬φ ∨ ψ)) ∨ ¬(¬ψ ∨ ϕ))) ∨ (φ ∨ ϕ)

φ ψ ϕ ¬φ D∨B ¬E
           
 F   F   F   T   T   F 
 F   F   T   T   T F
           
  
 F   T   F   T   T F
           
  
A = F  B =  T  C =  T  D =  T  E =  T F= F
           

 T   F   F   F   F
T
  
           
 T   F   T   F   F   T 
           
 T   T   F   F   T   F 
T T T F T F
¬G ¬B I ∨C ¬J H ∨K
         
 F   T   T   F   T 
 F   T   T   F  T
         
 
 F   F   F   T  T
         
 
G= F H= F I= T J= F K= T
         

 T   T   T   F   F 
         
 T   T   T   F   F 
         
 F   F   F   T   T 
F F T F T
¬K L∨D M ∨C
     
 F   T   T 
 F   T T
     
  
 F   T T
     
  
L= F M= T N= T
     

 T   T T
     
  
 T   T   T 
     
 F   F   T 
F F T
= TRUE

4. ¬(φ ∨ ψ) ↔ (¬φ ∨ φ)
¬(¬(¬(φ ∨ ψ)) ∨ (¬φ ∨ ¬ψ)) ∨ ¬(¬(¬φ ∨ ¬ψ) ∨ (¬(φ ∨ ψ)))
           
φ ψ ¬φ C ∨B ¬D ¬B
 F   F   T   T   F   T 
           
A = F B= T C= T D= T
     
E= F F=
  

 F 

 T   F   F   F   T   T 
T T F T F F
E∨F
         
C ∨F ¬H ¬G G∨J
 T  T
 F   F   T
       
T
    
G= T H= I = F J = F K =  T
     
 T
         
 T   F 
  F   F   T 
F T T T
F
Sáinz Villasana Santiago – Submission Assignment #6 3

   
¬K G∨L

 F 


 F 

L=
 F M=
  F 

 F   F 
F F
= FALSE

5. (φ → ψ) ↔ (¬ψ → φ)
= ¬(¬(¬(¬φ
  ∨ ψ)∨ (¬¬ψ
 ∨ φ))∨ (¬(¬(¬¬ψ
 ∨φ) ∨ (¬φ ∨ψ)))    
φ ψ ¬A C ∨B ¬D ¬B
 F   F   T   T   F   T 
           
A = F  B =  T  C =  T  D =  T
       E=

 F F=
 

 F 

 T   F   F   F   T   T 
T T F T F F
         
F ∨A ¬G E∨H ¬I H ∨E
 T   F   F   T   T 
         
G= F H= T I= T
    
J= F 
   K=  T


 T   F   T   F   F 
T F F T T
       
¬K ¬L J ∨M ¬N
 F   T   T   F 
       
 F M= T N= T
L=     O= F 
  
 T   F   F   F 
F T T F
= FALSE

6. ((¬φ → ψ) ∧ (¬φ → ¬ψ)) → φ

= ¬(¬(¬(¬¬φ ∨ ψ) ∨ ¬(¬(¬φ ∨ ψ)))) ∨ φ
         
φ ψ ¬A C ∨B ¬D
 F   F   T   T   F 
         
A = F B= T C= T D= T F
      E= 
  
 T   F   F   F   T 
T T F T F
         
¬E E∨F ¬G ¬H
 T   T   F   T   F 
         
 T G= T
F=   H= F I= T J=  F 
      
 F   T   F   T   F 
T T F T F
 
J ∨A
 F 
 
K=  F 

 T 
T
= CONTINGENCY