Главная | Обратная связь | Поможем написать вашу работу!
МегаЛекции

Из трех высказывани 5 страница




 

 

ЛОГИЧЕСКОЕСЛЕДОВ

1.55. Формулы Fi (P, Q, R) и Gj

 

переменных заданы своими таблица

 

P Q R F1 F2 F3 G1 G2  
                       
                       
         
                       
         
                       
         
                       
         
                       
         
                       
         
                       
         
                     
         
  Выясните, какие из формул Gj  
ствиями трех формул F 1, F2, F3?  
  Решение.Например,формула  
формул F1, F2, F3 так, как при P  
принимают значение 1, формула G  

1.56. Докажите,ачто имеет местводствуясь определением этого по

обеих формул). ,   ли  
      Выясните будут    
  а) (PQ)→ R ╞═ P →(Q  
P   Q R          
                   
                   
                   
             
                   
             
                   
             
                   
             
                   
             
                   
             
                   
             
                   


б) (PQ)R ╞═ P(QR);

 

P   Q   R        
                 
                 
                 
                 
                 
                 
                 
                 
                 
             
в) (PQ) R ╞═(PR)→ Q;  
P   Q   R        
                 
                 
                 
                 
                 
                 
                 
                 
                 
           
г) (P Q) R ╞═ (PQ) → R;  
P   Q   R        
                 
                 
                 
                 
                 
                 
                 
                 
                 
           
1.57.Расположите формулы так, из каждой логически следовали
все,     после нее: чтобы  
стоящие          
                 


 

  а)∨ Q, (P →(QP)),
P P Q P ∨ Q (P →(QP
      ))
       

0 1

1 0

1 1

 

Ответ: (P →(QP ╞═
        ))  
        ╞═ PQ.  
         
  б)→ Q, PQ, P →(
P P Q  
           

0 1

1 0

1 1

 

Ответ:

 

  в) (→ Q)∨ P (PQ)∧  
  P ,  
         
P   Q  
           
           

0 1

1 0

1 1

 

Ответ:

 

1.58. Методом от противного

 

следования:      
а)→ G, H, ∨ G  
F K H  
   

б) (PQ)R ╞═ P(QR);

 

P   Q   R        
                 
                 
                 
                 
                 
                 
                 
                 
                 
             
в) (PQ) R ╞═(PR)→ Q;  
P   Q   R        
                 
                 
                 
                 
                 
                 
                 
                 
                 
           
г) (P Q) R ╞═ (PQ) → R;  
P   Q   R        
                 
                 
                 
                 
                 
                 
                 
                 
                 
           
1.57.Расположите формулы так, из каждой логически следовали
все,     после нее: чтобы  
стоящие          
                 


Поделиться:





Читайте также:





Воспользуйтесь поиском по сайту:



©2015 - 2024 megalektsii.ru Все авторские права принадлежат авторам лекционных материалов. Обратная связь с нами...