Considere a seguinte sentença: 
“Se há muitos processos, então os juízes trabalham muito”.
Uma sentença logicamente equivalente a essa é:
    
                    
        
            
    
        
        
        
        
        
        
        
      “Se há muitos processos, então os juízes trabalham muito”.
Uma sentença logicamente equivalente a essa é: