数学とか    頭の体操 その二
        A,B,C(仮定) A→A∨(B∨C)(∨導入→導入) B→A∨(B∨C)(∨導入→導入) C→A∨(B∨C)(∨導入→導入) A∨B(仮定) A∨(B∨C)(∨除去) A∨B→A∨(B∨C)(→導入) (A∨B)∨C(仮定) A∨(B∨C...      
                        
    
            数学とか    
            技術    
            技術    
            技術    
            技術    
            技術    
            技術    
            技術    
            数学とか    
            技術    
            数学とか    
            技術